mathlib
33dfcb16 - Prop valued `bicategorical_coherence`
Commit
View On GitHub
Commit
4 years ago
Prop valued `bicategorical_coherence`
Author
yuma-mizuno yuma-mizuno
Parents
12749085
FAQ Terms Privacy Refunds Impressum
Loading