Theorem Finset.sup'_eq_csSup_image
Modification history
2024-01-17 13:26
Mathlib/Order/ConditionallyCompleteLattice/Finset.lean
chore(Order/ConditionallyCompleteLattice/Finset): merge duplicate lemmas (#9807)
Modified Finset.sup'_eq_csSup_imageView on Github →