Def W_type.equiv_sigma

Modification history