Commit 2024-12-24 05:25 d4736a1f

View on Github →

chore(RingTheory.Binomial): add nsmul_right_inj to simplify some proofs (#20198)

Estimated changes

added theorem Ring.nsmul_right_inj