Theorem QPF.Wrepr_equiv

Modification history