mathlib3
18d7b743 - feat(data/nat/choose/dvd): generalize to division rings (#8997)

Commit

4 years ago

feat(data/nat/choose/dvd): generalize to division rings (#8997)

Author

jcommelin

jcommelin

Parents

Loading