Theorem Finset.apply_sup_eq_sup_comp_of_linearOrder

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_comp_of_linearOrderView on Github →