Theorem RootPairing.Base.isPos_of_mem_support

Modification history