Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.prod_sum_distrib

Modification history

2019-07-11 13:58

src/data/equiv/basic.lean

refactor(*): change priority of \simeq (#1210) …

Modified equiv.prod_sum_distrib View on Github →

2017-09-08 14:49

data/equiv.lean

feat(data/equiv): port data/equiv.lean from Lean2

Added equiv.prod_sum_distrib View on Github →