Commit 2025-07-14 12:58 bca1e1d8

View on Github →

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

  • comp_partialSups

Estimated changes

added theorem comp_partialSups