Theorem RootPairing.IsCrystallographic.flip

Modification history