mathlib
9fd42620 - extensionality for splitting
Commit
View On GitHub
Commit
3 years ago
extensionality for splitting
Author
joelriou joelriou
Parents
c6a60abe
FAQ Terms Privacy Refunds Impressum
Loading