Theorem Mon_.rightUnitor_inv_hom

Modification history