mathlib3
8c3be63f - starting showing that internal Ab Type is equivalent to Ab

Commit

3 years ago

starting showing that internal Ab Type is equivalent to Ab

Author

joelriou

joelriou

Parents

Loading