Theorem AlternatingMap.map_update_neg

Modification history