Theorem partialSups_mono

Modification history

2023-11-03 09:34

Mathlib/Order/PartialSups.lean

feat(Order/PartialSups): golf, add lemmas (#8138) …

Modified partialSups_mono View on Github →

2023-01-25 09:27

Mathlib/Order/PartialSups.lean

feat: port Order.PartialSups (#1757) …

Added partialSups_mono View on Github →