Theorem PFunctor.Approx.truncate_eq_of_agree

Modification history