Theorem IsGreatest.image2

Modification history

2023-12-22 20:59

Mathlib/Order/Bounds/Basic.lean

chore(*): use `Set.image2_subset_iff` (#9206) …

Deleted IsGreatest.image2 View on Github →

2022-12-15 21:06

Mathlib/Order/Bounds/Basic.lean

feat: port Order.Bounds.Basic (#1040) …

Added IsGreatest.image2 View on Github →