Revision #3767 → #3780 · back to history
03c4b821ba50| Field | From #3767 | To #3780 |
|---|---|---|
| mathlib.decl | SimplyConnectedSpace.nonempty_homeomorph_sphere_three | ContinuousMap.HomotopyEquiv.NonemptyDiffeomorphSphere |
| mathlib.match_kind | exact | generalization |
| provenance | human | ai-moderated |