Theorem RootPairing.reflectionPerm_eq_iff_smul_root

Modification history