Theorem Nucleus.monotone

Modification history

2025-02-07 13:37
Mathlib/Order/Nucleus.lean
feat(Order/Nucleus): nuclei form a complete lattice (#21515) …
Added Nucleus.monotoneView on Github →