Revision #2448 → #2566 · back to history
4496441d3037| Field | From #2448 | To #2566 |
|---|---|---|
| mathlib.decl | norm_crossProduct | InnerProductGeometry.norm_ofLp_crossProduct |
| provenance | ai | ai-moderated |
1c6a25b2470d| Field | From #2448 | To #2566 |
|---|---|---|
| mathlib.decl | Matrix.det_row_alternating | Matrix.detRowAlternating |
| provenance | ai | ai-moderated |