Theorem RootPairing.zero_le_rootForm

Modification history