mathlib
8ca3f192 - Merge branch 'YK-enat-split' into YK-cardinal-to-enat

Commit

3 years ago

Merge branch 'YK-enat-split' into YK-cardinal-to-enat

Author

urkud

urkud

Parents

Loading