Commit 2023-05-12 16:00 fef23343

View on Github →

refactor: rename FirstOrder.Language.inhabited.trivialStructure to Inhabited.trivialStructure (#3934)

Estimated changes