Informasi yang berkaitan dengan en/Module talk:Footnotes/Theorem on formal functions