mathlib

a2e48025 - feat(model_theory/fraisse): Defines Fraïssé classes (#12817)

feat(model_theory/fraisse): Defines Fraïssé classes (#12817) Defines the age of a structure (Mostly) characterizes the ages of countable structures Defines Fraïssé classes