Mathlib Changelog
v4
Changelog
About
Github
Theorem
LatticeHom.subtypeVal_coe
Modification history
2024-09-01 19:41
Mathlib/Order/Hom/Lattice.lean
feat(Order/Hom/Lattice): add `Subtype.val` as lattice homs (#16270)
Added
LatticeHom.subtypeVal_coe
View on Github →