Commit 2023-05-12 16:00 fef23343
View on Github →refactor: rename FirstOrder.Language.inhabited.trivialStructure
to Inhabited.trivialStructure
(#3934)
refactor: rename FirstOrder.Language.inhabited.trivialStructure
to Inhabited.trivialStructure
(#3934)