トロピカル半環

概要

今後記述予定。