Def LatticeHom.subtypeVal

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 View on Github →