prove that isomorphic structures satisfy the same theory #79

Open

Labels

opened

on Mar 12, 2021

igl2020/src/model.lean

Line 758 in 7e8efee

theorem isomorphic_struc_satisfy_same_theory (M₁ M₂ : struc L)

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests