Theorem RootPairing.pairing_zero_iff'

Modification history