Theorem CategoryTheory.Bicategory.leftUnitor_naturality

Modification history