Theorem RootPairing.setOf_root_add_zsmul_eq_Icc_of_linInd

Modification history