run unification check even when there are no variables to unify - Githubissues

metamath / metamath-exe

Metamath program - source code for the Metamath executable

GNU General Public License v2.0

75 stars 25 forks source link

run unification check even when there are no variables to unify #127

Closed digama0 closed 1 year ago

digama0 commented 1 year ago

[x] depends on #126

fixes #107