refactor: Remove the K argument from exp

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

https://leanprover-community.github.io/lean3

Apache License 2.0

1.67k stars 298 forks source link

Closed eric-wieser closed 1 year ago

eric-wieser commented 1 year ago

Closing in favor of #8370, this wasn't too bad to port.