Theorem Function.Injective.sumMap

Modification history

2025-02-20 18:07

Mathlib/Data/Sum/Basic.lean

chore: rename Injective.sum_elim and friends (#22129) …

Added Function.Injective.sumMap View on Github →