Commit 2025-05-15 08:57 58bea692

View on Github →

feat: Iff version of Injective.sumElim (#24899) Also golfs some similar proofs

Estimated changes

added theorem Sum.elim_injective