mathlib3
fd28f5f5 - Use generic `commutes.map` lemma
Commit
View On GitHub
Commit
4 years ago
Use generic `commutes.map` lemma
Author
Vierkantor Vierkantor
Parents
965d9e5b
FAQ Terms Privacy Refunds Impressum
Loading