analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

generalize `Order_isNbhs`

Open affeldt-aist opened this issue 1 month ago • 0 comments

https://github.com/math-comp/analysis/blob/5e727ceca161fd469db6fa76daa5ce4cf9f28ccd/theories/topology_theory/order_topology.v#L25

when dropping support for MathComp < 2.5

affeldt-aist avatar Nov 27 '25 01:11 affeldt-aist