Theorem RootPairing.Base.coroot_mem_span_int

Modification history