a,b:
. (a ~ b) 
Prop
c:. a = b
ca,b:. (a | b) Prop| Who Cites assoced? | |
| assoced | Def a ~ b == (a | b) & (b | a) |
| Thm* a,b:. (a ~ b) Prop | |
| divides | Def b | a == c:. a = bc |
| Thm* a,b:. (a | b) Prop |
| Syntax: | a ~ b | has structure: | assoced(a; b) |
About:
 |  |  |  |  |  |  |  |  |