Mathlib Changelog
v4
Changelog
About
Github
Theorem
partialSups_apply
Modification history
2023-12-03 09:54
Mathlib/Order/PartialSups.lean
feat(Topology/Order): continuity of `Finset.sup`, `partialSups` etc (#8141) …
Added
partialSups_apply
View on Github →