mathlib3
b69e8568 - Revert "Prop valued `bicategorical_coherence`"

Commit

3 years ago

Revert "Prop valued `bicategorical_coherence`" This reverts commit 33dfcb164b0188779a00bb7abc2040677424a38e.

Author

yuma-mizuno

Parents