mathlib
7da0ca59 - intro new simp lemma

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

5 years ago

intro new simp lemma

References

complex_dot_product

Author

jalex-stark

jalex-stark

Parents

FAQ Terms Privacy Refunds Impressum

Loading