Theorem RootPairing.rootSpanMem_reflectionPerm_self

Modification history