FPS composition distributes over inverses, division and arbitrary nth roots. General geometric series theorem
FPS composition distributes over inverses, division and arbitrary nth roots. General geometric series theorem

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle