Theorem IsSublattice.image

Modification history

2024-02-05 18:00

Mathlib/Order/SupClosed.lean

refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …

Modified IsSublattice.image View on Github →

2023-10-26 10:03

Mathlib/Order/SupClosed.lean

feat: Lattice closedness (#7548) …

Added IsSublattice.image View on Github →