2 lines
37 B
Text
2 lines
37 B
Text
|
|
properSubset=: subset * 1 - equality
|
|
|
properSubset=: subset * 1 - equality
|