Theorem IsFreeGroupoid.ext_functor

Modification history