Theorem PFunctor.M.head_succ

Modification history