{"shas":[["41b15ad42dbeec65d6e50b10bd1b61e8b1221891","2ab5dffb42a3e7f72a5da4dda8156124ac6d4d7d@gmail.com","Merge branch 'master' into category","Ramana Kumar"],["61f7e81572a6582ad5f462287b1b6f1ed638c4bc","2ab5dffb42a3e7f72a5da4dda8156124ac6d4d7d@gmail.com","move some theorems about Prod into zfsetTheory","Ramana Kumar"]],"ref":"refs/heads/category","size":2,"head":"61f7e81572a6582ad5f462287b1b6f1ed638c4bc","push_id":33078548}