Theorem RootPairing.pairing_reflection_perm

Modification history