Theorem Tactic.ComputeAsymptotics.UnitMonomial.inv_length

Modification history

2026-04-24 11:28
Mathlib/Tactic/ComputeAsymptotics/Multiseries/Monomial/Basic.lean
feat(Tactic/ComputeAsymptotics/Multiseries): introduce `Monomial` (#37411) …
Added Tactic.ComputeAsymptotics.UnitMonomial.inv_lengthView on Github →