Commit 2025-12-13 02:10 8f62007a

View on Github →

feat(Data/Nat/Choose/Basic): weaken condition for choose_mul (#32810)

Estimated changes

modified theorem Nat.choose_mul