Theorem MvQPF.wrepr_wMk

Modification history