Skip to content

Remove the use of [the _ of _] notations #737

Remove the use of [the _ of _] notations

Remove the use of [the _ of _] notations #737

Annotations

1 warning

mathcomp-classical

succeeded Dec 6, 2024 in 3m 35s