Definition fpsminus ( R : commring ) : fps R -> fps R := fun s n => - ( s n ).
Require Import UniMath.PAdics.lemmas. Require Import UniMath.Algebra.RigsAndRings. Require Import UniMath.NumberSystems.Integers.