Theorem Nucleus.sInf_apply

Modification history

2025-08-12 05:09
Mathlib/Order/Nucleus.lean
feat(Order/Sublocale): definition of sublocales (#25089) …
Modified Nucleus.sInf_applyView on Github →
2025-02-07 13:37
Mathlib/Order/Nucleus.lean
feat(Order/Nucleus): nuclei form a complete lattice (#21515) …
Added Nucleus.sInf_applyView on Github →