-
Jakob Botsch Nielsen authored
Now we can just rewrite with environment equivalences instead of extracting the chain equivalence from it.
864b0715
Now we can just rewrite with environment equivalences instead of extracting the chain equivalence from it.