Theorem QPF.supp_map

Modification history