Def alternating_map.const_linear_equiv_of_is_empty

Modification history