mathlib
db46133c - chore(data/setoid/partition): use `set.finite` (#17228)
Commit
View On GitHub
Commit
3 years ago
chore(data/setoid/partition): use `set.finite` (#17228)
Author
urkud urkud
Parents
1417a74e
FAQ Terms Privacy Refunds Impressum
Loading