mathlib3
e4bf4960 - feat(data/set/finite): simple infiniteness lemmas (#9242)

Commit

4 years ago

feat(data/set/finite): simple infiniteness lemmas (#9242)

Author

YaelDillies

YaelDillies

Parents

Loading