mathlib3
aca6b690 - split a function into monoidal and bicategorical cases

Commit

4 years ago

split a function into monoidal and bicategorical cases The old one doesn't work for the identity `𝟙 _`.

Author

yuma-mizuno

Parents