Theorem AlternatingMap.neg_one_pow_smul_map_insertNth

Modification history