Theorem Nucleus.map_himp_apply

Modification history

2025-02-11 06:35
Mathlib/Order/Nucleus.lean
feat(Order/Nucleus): nuclei form a frame (#21560) …
Added Nucleus.map_himp_applyView on Github →