Theorem MvQPF.corecF_eq

Modification history