Homomorphism and Congruence on Semi-ring of Formal Power Series

• 形式幂级数半环的同态与同余