Theorem RootPairing.root_add_zsmul_mem_range_iff

Modification history