Theorem Action.rightUnitor_hom_hom

Modification history