忘却関手忘却関手忘却函手ぼうきゃくかんしゅぼう'きゃく・かん'しゅ5

Math.Vergissfunktor