mathlib
92ee748e - chore(analysis/complex/cauchy_integral): use `dslope` to golf a proof (#11675)

Commit

3 years ago

chore(analysis/complex/cauchy_integral): use `dslope` to golf a proof (#11675)

Author

urkud

urkud

Parents

Loading