Theorem AlternatingMap.neg_one_pow_smul_map_removeNth_add_eq_zero_of_eq

Modification history