Theorem Finset.inv_op_smul_finset_distrib₀
Modification history
2025-03-04 14:42
Mathlib/Algebra/GroupWithZero/Action/Pointwise/Finset.lean
chore: split off the action part of pointwise files (#22333) …
Modified Finset.inv_op_smul_finset_distrib₀View on Github →2025-02-19 17:41
Mathlib/Algebra/GroupWithZero/Pointwise/Finset.lean
chore(Algebra/Group/Action): group similar lemmas (#21028) …
Modified Finset.inv_op_smul_finset_distrib₀View on Github →