Theorem CategoryTheory.Bicategory.leftUnitor_inv_naturality

Modification history