{"head":"1c727d54564b5b737be7081ad2d0f3e112cf0bfd","size":1,"push_id":47151074,"commits":[{"sha":"1c727d54564b5b737be7081ad2d0f3e112cf0bfd","author":{"name":"Pranjal Vachaspati","email":"f46b1388872be8b30c2f4af21ea99c5f2cfa4dde@mit.edu"},"url":"https://api.github.com/repos/pranjalv123/TheoryOfNumbers_Proof/commits/1c727d54564b5b737be7081ad2d0f3e112cf0bfd","message":"added inductive type for product of primes"}],"ref":"refs/heads/master","legacy":{"head":"1c727d54564b5b737be7081ad2d0f3e112cf0bfd","size":1,"push_id":47151074,"shas":[["1c727d54564b5b737be7081ad2d0f3e112cf0bfd","pranjal@mit.edu","added inductive type for product of primes","Pranjal Vachaspati"]],"ref":"refs/heads/master"}}