Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.prod_fst_snd

Modification history

2022-02-09 17:14
src/data/pi.lean
chore(data/pi): add pi.prod and use elsewhere (#11877) …
Added pi.prod_fst_sndView on Github →