mathlib
22db639b - define `star_alg_equiv`s and provide basic API
Commit
View On GitHub
Commit
3 years ago
define `star_alg_equiv`s and provide basic API
Author
j-loreaux j-loreaux
Parents
9dbe038e
FAQ Terms Privacy Refunds Impressum
Loading