Theorem PFunctor.M.head_mk

Modification history