Content
@
0 reply
0 recast
0 reaction
Agost Biro
@agostbiro
I added some comments to the subset transitivity proof
0 reply
1 recast
6 reactions
