Theorem partialSups_monotone

Modification history

2025-01-14 14:39

Mathlib/Order/PartialSups.lean

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

Modified partialSups_monotone View on Github →

2024-08-15 14:22

Mathlib/Order/PartialSups.lean

feat: Add partialSups lemmas (#15291)

Added partialSups_monotone View on Github →