Ring Isomorphism

[make-github-pseudonymous-again]

Implement and find a better name for the Chinese Remainder Theorem...

[make-github-pseudonymous-again]

Naming the inventor is the usual convention. This would yield "Sun-tzu's remainder theorem".