Theorem MvQPF.wEquiv_map

Modification history