Theorem RootPairing.reflectionPerm_self

Modification history