Theorem RootPairing.root'In_corootSpanMem_eq_pairingIn

Modification history