Theorem comp_partialSups

Modification history

2025-07-14 12:58

Mathlib/Order/PartialSups.lean

feat(Mathlib/Order/PartialSups): add `PartialSups` composition lemma (#26848) …

Added comp_partialSups View on Github →