mathlib
920af275 - implement forgetful inheritance
Commit
View On GitHub
Commit
2 years ago
implement forgetful inheritance
Author
j-loreaux j-loreaux
Parents
976dba71
FAQ Terms Privacy Refunds Impressum
Loading