Content
@
0 reply
0 recast
0 reaction
Agost Biro
@agostbiro
I added some comments to the subset transitivity proof
0 reply
2 recasts
9 reactions
