9 lines
111 B
Text
9 lines
111 B
Text
|
import algebra.category.precategory
|
||
|
|
open function category
|
||
|
|
|
||
|
|
print id
|
||
|
|
|
||
|
|
print "-----------"
|
||
|
|
|
||
|
|
print definition id
|