Theorem Qpf.mem_supp

Modification history