chore: revise translations of unfold and unfold1

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

41 stars 15 forks source link

Closed digama0 closed 1 year ago

digama0 commented 1 year ago

This eliminates the need for unfold', dunfold, unfold1, guard_lhs

digama0 commented 1 year ago

incorporated in the bump commit #178