Theorem CategoryTheory.tensor_left_unitality

Modification history