Mathlib v3 is deprecated. Go to Mathlib v4

Theorem sigma.eta

Modification history

2020-08-25 13:04
src/data/sigma/basic.lean
feat(data/sigma/basic): cleanup (#3933) …
Modified sigma.etaView on Github →
2020-05-06 19:39
src/data/sigma/basic.lean
chore(*): a few missing `simp` lemmas (#2615) …
Added sigma.etaView on Github →