WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Axiom

Revision #1688 → #2522 · back to history

modifiedLöwenheim–Skolem theoremsfe0b6d9463cc
FieldFrom #1688To #2522
mathlib.declFirstOrder.Language.Theory.exists_elementaryEmbedding_card_eqFirstOrder.Language.exists_elementaryEmbedding_card_eq
provenanceaiai-moderated