Content
@
0 reply
0 recast
0 reaction
Agost Biro
@agostbiro
After a two week hiatus I was considerably rustier, so just a short exercise today to prove the transitivity of subset relations: https://github.com/agostbiro/mathematics_in_lean/commit/16ae0aad2173868f365d147e43b7fee1fa65cc71 Gotta prioritize daily progress no matter what
0 reply
0 recast
4 reactions
