Theorem Finset.apply_sup'_eq_sup'_comp

Modification history

2026-05-29 12:25
Mathlib/Data/Finset/Lattice/Fold.lean
chore(Data/Finset/Lattice/Fold): rename `comp_sup_*` to `apply_sup_*` (#37185) …
Added Finset.apply_sup'_eq_sup'_compView on Github →