Theorem FreeGroupBasis.repr_apply_coe

Modification history