Theorem Sublocale.toNucleus_le_toNucleus

Modification history

2025-08-12 05:09
Mathlib/Order/Sublocale.lean
feat(Order/Sublocale): definition of sublocales (#25089) …
Added Sublocale.toNucleus_le_toNucleusView on Github →