Require Export CatSem.CAT.monad_h_module. Set Implicit Arguments. Unset Strict Implicit. Unset Automatic Introduction. Section base_cats. Variable T : Type.
確定! 回上一頁