mathlib3
89062aed - change simp direction for `left_unitor_comp`
Commit
View On GitHub
Commit
4 years ago
change simp direction for `left_unitor_comp`
Author
yuma-mizuno yuma-mizuno
Parents
fb0a2a71
FAQ Terms Privacy Refunds Impressum
Loading