Skip to content

Simplify proof of conversion_preserves_equivalence

Pierre Roux requested to merge simpl_proof into master

I stumbled on this while writing the tutorial.

Merge request reports