Skip to content

fix a lemma being accidentally about the wrong fixpoint...

Ralf Jung requested to merge ralf/fixpoint-confusion into master

Thanks to @maxvi for pointing this out!

Merge request reports