Mathlib v3 is deprecated. Go to Mathlib v4

Theorem equiv.sum_prod_distrib_symm_apply_right

Modification history

2022-07-12 16:39
src/logic/equiv/basic.lean
chore(*): improve some definitional equalities (#15083) …
Added equiv.sum_prod_distrib_symm_apply_rightView on Github →