mathlib
a4c95f2c - canonical 2-morphism
Commit
View On GitHub
Commit
4 years ago
canonical 2-morphism
Author
yuma-mizuno yuma-mizuno
Parents
40c0fb8e
FAQ Terms Privacy Refunds Impressum
Loading