-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Prove truncated-series reversion route and bounded-wrapper laws
enhancementNew feature or requestNew feature or requestStatus: Open.#9554 In kim-em/hex-dev;Pin truncated-series Mathlib ring operations to the core implementations
bugSomething isn't workingSomething isn't workingStatus: Open.#9555 In kim-em/hex-dev;Deduplicate truncated-series list and truncation helper lemmas
enhancementNew feature or requestNew feature or requestStatus: Open.#9556 In kim-em/hex-dev;Complete truncated-series valuation and exact x-division API
enhancementNew feature or requestNew feature or requestStatus: Open.#9551 In kim-em/hex-dev;Regularize truncated-series NatInverses and SPEC hypotheses
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#9552 In kim-em/hex-dev;Hoist Brent-Kung block index allocation
enhancementNew feature or requestNew feature or requestStatus: Open.#9553 In kim-em/hex-dev;- Status: Open.#9523 In kim-em/hex-dev;
- Status: Open.#9439 In kim-em/hex-dev;
- Status: Open.#9425 In kim-em/hex-dev;
- Status: Open.#9423 In kim-em/hex-dev;
- Status: Open.#9418 In kim-em/hex-dev;
- Status: Open.#9419 In kim-em/hex-dev;