Theorem RootPairing.isFixedPt_reflection_perm_iff

Modification history