Theorem Finpartition.bunionᵢ_filter_atomise

Modification history

2023-05-14 07:05

Mathlib/Order/Partition/Finpartition.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Deleted Finpartition.bunionᵢ_filter_atomise View on Github →

2023-02-04 13:28

Mathlib/Order/Partition/Finpartition.lean

feat: port Order.Partition.Finpartition (#1765)

Added Finpartition.bunionᵢ_filter_atomise View on Github →