Theorem partialSups_le

Modification history

2025-01-14 14:39

Mathlib/Order/PartialSups.lean

feat(Order/PartialSups): allow general orders as domain (#20137) …

Modified partialSups_le View on Github →

2023-01-25 09:27

Mathlib/Order/PartialSups.lean

feat: port Order.PartialSups (#1757) …

Added partialSups_le View on Github →