Theorem Nucleus.mem_range

Modification history

2025-04-14 15:20
Mathlib/Order/Nucleus.lean
feat(Order/Nucleus): The image of a nucleus is a frame (#23802) …
Added Nucleus.mem_rangeView on Github →