Theorem RootPairing.setOf_root_add_zsmul_mem_eq_Icc

Modification history