math-comp / analysis

Mathematical Components compliant Analysis Library
Other
200 stars 44 forks source link

unneeded local notation #1309

Closed affeldt-aist closed 1 month ago

affeldt-aist commented 1 month ago

https://github.com/math-comp/analysis/blob/2a5db32b511605cc3a678cdbe655db61989aeccc/theories/cantor.v#L381

this is now defined in classical_sets.v