Theorem FreeGroupBasis.map_apply

Modification history