Theorem Qpf.supp_map

Modification history