Theorem Sum.elim_swap

Modification history

2025-08-04 20:55
Mathlib/Data/Sum/Basic.lean
feat: add IsEmbedding.sumElim_of_separatingNhds (#26099) …
Added Sum.elim_swapView on Github →