Theorem PFunctor.Approx.agree_children

Modification history