Def FirstOrder.Language.Inhabited.trivialStructure

Modification history