`exp` preserves congruence through degree `n` (on series with zero constant term). · Prove2Me

P

Initializing...

`exp` preserves congruence through degree `n` (on series with zero constant term). · Prove2Me