Revision #1112 → #2545 · back to history
cb96f5266791| Field | From #1112 | To #2545 |
|---|---|---|
| mathlib.decl | conjugatesOfSet | Group.conjugatesOfSet |
| provenance | ai | ai-moderated |
62198d1d208a| Field | From #1112 | To #2545 |
|---|---|---|
| mathlib.decl | conjugatesOfSet | Group.conjugatesOfSet |
| provenance | ai | ai-moderated |