Theorem Qpf.Wrepr_equiv

Modification history