Theorem MvQPF.Cofix.ext_mk

Modification history