Theorem AlternatingMap.norm_map_coord_zero

Modification history