Skip to content

Simplify proof of conversion_preserves_equivalence

Pierre Rouxrequested to merge
simpl_proof into master

I stumbled on this while writing the tutorial.

Merge request reports