Theorem RootPairing.isFixedPt_reflectionPerm_iff

Modification history