Theorem RootPairing.setOf_root_sub_zsmul_mem_eq_Icc

Modification history