Theorem RootPairing.rootSpanMem_reflection_perm_self

Modification history