Theorem IsFreeGroupoid.path_nonempty_of_hom

Modification history