mathlib3
b91b0a74 - Remove structure index simplification
Commit
View On GitHub
Commit
5 years ago
Remove structure index simplification Turns out this is unnecessary.
Author
JLimperg JLimperg
Committer
JLimperg JLimperg
Parents
c2b60106
FAQ Terms Privacy Refunds Impressum
Loading