Theorem RootPairing.pairingIn_pairingIn_mem_set_of_isCrystal_of_isRed'

Modification history