Theorem Qpf.Wequiv.refl

Modification history