Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sum.swap_inr

Modification history

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