タグ一覧

• local_offer数の型を作る
• local_offer型
• local_offerHaskell
• local_offerモノイド
• local_offerGrothendieck群
• local_offer圏論