Skip to content
Permalink
Browse files

added missing imports in inverse_semigroup.clif

  • Loading branch information...
gruninger committed Apr 18, 2018
1 parent a8c12d0 commit 7984615a515e4bc9f6fdcae633d0f06bc25bc5a9
Showing with 2 additions and 0 deletions.
  1. +2 −0 ontologies/magma/inverse_semigroup.clif
@@ -3,6 +3,8 @@


(cl-imports http://colore.oor.net/magma/semigroup.clif) (cl-imports http://colore.oor.net/magma/semigroup.clif)


(cl-imports http://colore.oor.net/magma/definitions/magma_defs.clif)

(forall (x) (forall (x)
(exists (y) (exists (y)
(and (= y (op y (op x y))) (and (= y (op y (op x y)))

0 comments on commit 7984615

Please sign in to comment.
You can’t perform that action at this time.