Skip to content

make not_near_at_right/left equivalence #1196

make not_near_at_right/left equivalence

make not_near_at_right/left equivalence #1196

Annotations

1 warning

mathcomp-reals

succeeded Jan 13, 2025 in 2m 12s