Theorem RootPairing.coroot'In_rootSpanMem_eq_pairingIn

Modification history