We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
ConfluentReduction.lean
Cslib.Foundations.Data.Relation
rtc_eq_of_sandwich
1 parent 86c6282 commit 5245baeCopy full SHA for 5245bae
1 file changed
Cslib/Languages/LambdaCalculus/Unscoped/Untyped/ConfluentReduction.lean
0 commit comments