Theorem RootPairing.root_sub_zsmul_mem_range_iff

Modification history