Theorem RootPairing.corootSpanMem_reflection_perm_self

Modification history