Homotopy Type Theory sequential polynomial > history (changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

Definition

Given a $\mathbb{Z}$-module MM, a sequential polynomial is a sequence x:Mx:\mathbb{N} \to M where there exists a natural number NN such that for all i>Ni \gt N, x(i)=0x(i) = 0.

See also

Last revised on June 17, 2022 at 18:48:38. See the history of this page for a list of all contributions to it.