Mathlib v3 is deprecated. Go to Mathlib v4

Def first_order.language.direct_limit.of

Modification history

2022-03-11 23:40
src/model_theory/direct_limit.lean
chore(*): update to 3.41.0c (#12591)
Added first_order.language.direct_limit.ofView on Github →