PR #16656: chore(analysis/special_functions/pow): change ...

Stream: triage

[Random Issue Bot]

Today I chose PR 16656 for discussion!

chore(analysis/special_functions/pow): change (1/z) to inv z and add missing lemmas
Created by @Moritz Doll (@mcdoll) on 2022-09-26
Labels: WIP, awaiting-CI, t-analysis

Is this PR still relevant? Any recent updates? Anyone making progress?

[Eric Wieser]

CI isn't happy here