Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-11 09:33 08d30d66

View on Github →

chore(algebra/pointwise): Better variables management (#10686) Moves a few variables from lemma statements to variables.

Estimated changes

modified theorem finset.coe_mul
modified theorem finset.empty_mul
modified theorem finset.mem_mul
modified theorem finset.mul_card_le
modified theorem finset.mul_def
modified theorem finset.mul_empty
modified theorem finset.mul_mem_mul
modified theorem finset.mul_nonempty_iff
deleted theorem finset.mul_singleton_zero
modified theorem finset.mul_subset_mul
deleted theorem finset.singleton_zero_mul
modified theorem mem_inv_smul_set_iff
modified theorem set.range_smul_range
modified theorem set_smul_subset_iff
modified theorem smul_mem_smul_set_iff
modified theorem submonoid.mul_subset
modified theorem subset_set_smul_iff