Theorem Mon_.leftUnitor_hom_hom

Modification history