Revision #1410 → #2612 · back to history
639f7780af21| Field | From #1410 | To #2612 |
|---|---|---|
| mathlib.decl | FirstOrder.Language.Theory.CompleteType.exists_modelType_is_realized_in | FirstOrder.Language.Theory.exists_modelType_is_realized_in |
| provenance | ai | ai-moderated |