Theorem FreeGroupBasis.isFreeGroup

Modification history