mathlib3
0ededd5d - chore(analysis/calculus): use `is_R_or_C` in several lemmas (#10376)

Commit

4 years ago

chore(analysis/calculus): use `is_R_or_C` in several lemmas (#10376)

Author

urkud

urkud

Parents

Loading