La idea és estudiar propietats de les series formals restringides i de les series formals convergents (per un anell commutatiu topològic, o un anell amb un valor absolut no arquimedià), seguint la nombrosa bibliografia sobre el tema, i alhora aprofitar per aprendre Lean4 i la formalització de resultats matemàtics. El treball es pot entendre com […]