Theorem Action.associator_inv_hom

Modification history