Theorem PFunctor.M.isubtree_cons

Modification history