Def alternating_map.dom_coprod.summand

Modification history