Skip to content

Remove the use of [the _ of _] notations (#1430) #1086

Remove the use of [the _ of _] notations (#1430)

Remove the use of [the _ of _] notations (#1430) #1086

Annotations

1 warning

mathcomp-reals-stdlib

succeeded Dec 7, 2024 in 37s