Theorem homotopic_genLoopZeroEquiv_symm_iff

Modification history