Revision #1554 → #2644 · back to history
01d57e9741d8| Field | From #1554 | To #2644 |
|---|---|---|
| mathlib.decl | LinearPMap.IsSelfAdjoint | LinearPMap.isSelfAdjoint_def |
| provenance | ai | ai-moderated |
e1e5de954745| Field | From #1554 | To #2644 |
|---|---|---|
| mathlib.decl | LinearMap.IsSymmetric.norm_eq_iSup_rayleighQuotient | ContinuousLinearMap.norm_eq_iSup_rayleighQuotient |
| provenance | ai | ai-moderated |