Def Qq.findLocalDeclWithTypeQ?

Modification history

2024-12-26 15:27
Mathlib/Util/Qq.lean
feat: norm positivity extension proves strict positivity (#10276) …
Added Qq.findLocalDeclWithTypeQ?View on Github →