Revision #2337 → #2535 · back to history
bb4fbeccbc76| Field | From #2337 | To #2535 |
|---|---|---|
| mathlib.decl | QuadraticForm.sigPos | sigPos |
| provenance | ai | ai-moderated |
599c04e0f25c| Field | From #2337 | To #2535 |
|---|---|---|
| mathlib.decl | CliffordAlgebra.equivProd | CliffordAlgebra.prodEquiv |
| provenance | ai | ai-moderated |