Theorem RootPairing.rootForm_restrict_nondegenerate

Modification history