3 lines
56 B
Text
3 lines
56 B
Text
@eq N a z : Prop
|
|
@eq ?M_1 2 1 : Prop
|
|
@eq num 2 1 : Prop
|
@eq N a z : Prop
|
|
@eq ?M_1 2 1 : Prop
|
|
@eq num 2 1 : Prop
|