Theorem Set.SMulAntidiagonal.finite_of_finite_fst

Modification history

2026-04-28 01:10
Mathlib/Data/Set/SMulAntidiagonal.lean
refactor(Algebra/MonoidAlgebra/PointwiseSMul): switch action from Finsupp to (Add)MonoidAlgebra and multiplicativize (#35243) …
Added Set.SMulAntidiagonal.finite_of_finite_fstView on Github →