Theorem RootPairing.Base.forall_mem_support_invtSubmodule_iff

Modification history