Theorem Qpf.has_good_supp_iff

Modification history