Theorem Action.leftUnitor_inv_hom

Modification history