Name: Bedrock
Author: Bedrock Institute

⚠ Cubical ライブラリを閲覧しています。 Bedrock に戻る

English · 中文 · 日本語

メニュー

読書案内

モジュール

module Cubical.Algebra.Monoid where

open import Cubical.Algebra.Monoid.Base public

1lab を改変したジェネレータでレンダリング (AGPL-3.0)。