mathlib3
146d73c6 - feat(data/set): add finite_image_iff_on
Commit
View On GitHub
Commit
6 years ago
feat(data/set): add finite_image_iff_on
Author
johoelzl johoelzl
Committer
johoelzl johoelzl
Parents
84a5f4d3
FAQ Terms Privacy Refunds Impressum
Loading