Theorem RootPairing.setOf_root_add_zsmul_eq_Icc_of_linearIndependent

Modification history