Def Nucleus.restrict

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.restrictView on Github →