passive support for global environments completed!

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / dynamic / yprs_yprs.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/dynamic/yprs_yprs.ma b/matita/matita/contribs/lambdadelta/basic_2/dynamic/yprs_yprs.ma
index 96354706d2b1be3758760002b43ef6b361d94541..d05f23c7c5a9cddd83739ecd63e7ed6986798c35 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/dynamic/yprs_yprs.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/dynamic/yprs_yprs.ma
@@ -16,5 +16,5 @@ include "basic_2/dynamic/yprs.ma".
 
 (* "BIG TREE" PARALLEL COMPUTATION FOR CLOSURES *****************************)
 
-theorem yprs_trans: ∀h,g. bi_transitive … (yprs h g).
-/2 width=4/ qed-.
+theorem yprs_trans: ∀h,g. tri_transitive … (yprs h g).
+/2 width=5/ qed-.