Commit graph

2 commits

Author SHA1 Message Date
7b8c0ba127
Made very small changes 2023-06-13 14:35:46 -07:00
db18750677
Renamed a file 2023-06-13 14:11:13 -07:00
Renamed from CommAlg/sayantan.lean (Browse further)