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