Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-24 09:53 85636f9a

View on Github →

feat(data/complex|matrix): instances of star_ordered_ring and star_ordered_algebra (#4686)

Estimated changes