Theorem Sum.elim_map

Modification history

2023-09-12 23:50
Mathlib/Data/Sum/Basic.lean
chore: bump Std for #251 (#7126) …
Deleted Sum.elim_mapView on Github →
2023-01-25 12:38
Mathlib/Data/Sum/Basic.lean
Feat: add lemmas about `Sum` (#1583) …
Added Sum.elim_mapView on Github →