Theorem RootPairing.Base.root_mem_span_int

Modification history