Revision #2440 → #2550 · back to history
7603ef0c14b7| Field | From #2440 | To #2550 |
|---|---|---|
| mathlib.decl | IsImmersion | Manifold.IsImmersion |
| provenance | ai | ai-moderated |
1ebb2113fa9e| Field | From #2440 | To #2550 |
|---|---|---|
| mathlib.decl | mlieBracket | VectorField.mlieBracket |
| provenance | ai | ai-moderated |
e6aa75ab2da9| Field | From #2440 | To #2550 |
|---|---|---|
| mathlib.decl | PointedSmoothMap.eval | PointedContMDiffMap.eval |
| provenance | ai | ai-moderated |