Def InfHom.const

Modification history

2024-03-07 15:09

Mathlib/Order/Hom/Lattice.lean

chore(Order): Make more arguments explicit (#11033) …

Modified InfHom.const View on Github →

2023-02-03 17:54

Mathlib/Order/Hom/Lattice.lean

feat: port Order.Hom.Lattice (#1636)

Added InfHom.const View on Github →