Theorem InfHom.subtypeVal_apply

Modification history

2026-03-14 12:09
Mathlib/Order/Hom/Lattice.lean
feat(Translate): add support for specifying argument names (#36402) …
Deleted InfHom.subtypeVal_applyView on Github →
2024-09-01 19:41
Mathlib/Order/Hom/Lattice.lean
feat(Order/Hom/Lattice): add `Subtype.val` as lattice homs (#16270)
Added InfHom.subtypeVal_applyView on Github →