Theorem PFunctor.supp_eq

Modification history