Commit 2025-08-18 07:35 e0e633ed

View on Github →

chore(RingTheory): deprecate choose_eq_nat_choose (duplicate) (#28523)

Estimated changes

deleted theorem Ring.choose_eq_nat_choose