Commit 2023-02-16 23:48 68e722a8

View on Github →

refactor: semireducible Language (#2307)

Estimated changes

modified theorem Language.add_def
added theorem Language.ext
modified theorem Language.one_def