Revision #1271 → #2582 · back to history
1e8597525f63| Field | From #1271 | To #2582 |
|---|---|---|
| mathlib.decl | Digraph.toSimpleGraphAnd | Digraph.toSimpleGraphStrict |
| provenance | ai | ai-moderated |
2bb958673635| Field | From #1271 | To #2582 |
|---|---|---|
| mathlib.decl | SimpleGraph.completeBipartiteGraph | completeBipartiteGraph |
| provenance | ai | ai-moderated |