Theorem QPF.has_good_supp_iff

Modification history