Typos in L9LevelsL05_BddOfConv #92
Description
In:
Game/Levels/L9Levels/L05_BddOfConv.lean
on lines 109 and 115, it should say TermLeSum instead of TermLtSum.
{{ message }}
In:
Game/Levels/L9Levels/L05_BddOfConv.lean
on lines 109 and 115, it should say TermLeSum instead of TermLtSum.