Theorem RootPairing.reflection_perm_sq

Modification history