7 lines
97 B
Text
7 lines
97 B
Text
import data.list algebra.group
|
|
|
|
print inductive nat
|
|
|
|
print inductive group
|
|
|
|
print inductive list
|