Def W_type.equiv_list

Modification history