Theorem PFunctor.Approx.agree_trivial

Modification history