Theorem map_partialSups

Modification history

2025-08-18 14:26

Mathlib/Order/PartialSups.lean

feat(Algebra/Order): add several lemmas related to `partialSups` (#26851) …

Added map_partialSups View on Github →