Theorem RootPairing.Base.IsPos.exists_mem_support_pos_pairingIn

Modification history