Theorem Rep.leftRegularHomEquiv_symm_single

Modification history