Theorem MvQPF.wrepr_equiv

Modification history