Commit 2024-09-04 09:43 55fda0cb

feat(ModelTheory/Fraisse): Shows that any countably infinite structure in the empty language is a Fraïssé limit (#16194) Shows that any countably infinite structure in the empty language is the Fraïssé limit of the class of finite structures, which is thus a Fraïssé class