Closed nilern closed 4 years ago
It should be convenient to integrate this to WellFounded.
WellFounded
It should be convenient to integrate this to
WellFounded
.WellFounded
elaborating, adding the functionality of lex-straighten.