mathlib3
f53b2399 - feat(model_theory/fraisse): Construct Fraïssé limits (#12138)

Commit

3 years ago

feat(model_theory/fraisse): Construct Fraïssé limits (#12138) Constructs Fraïssé limits (nonuniquely)

Author

awainverse

Parents