Theorem QPF.mem_supp

Modification history