Theorem PFunctor.Approx.agree_trival

Modification history