Theorem Nucleus.toFun_eq_coe

Modification history

2025-08-12 05:09
Mathlib/Order/Nucleus.lean
feat(Order/Sublocale): definition of sublocales (#25089) …
Modified Nucleus.toFun_eq_coeView on Github →
2025-01-25 06:17
Mathlib/Order/Nucleus.lean
feat(Order/Nucleus): Nucleus (#19440)
Added Nucleus.toFun_eq_coeView on Github →