Theorem RootPairing.corootSpanMem_reflectionPerm_self

Modification history