Theorem HomotopyGroup.auxGroup_indep

Modification history