Theorem QPF.Wequiv.abs'

Modification history