swh:1:snp:51e5eb9d6d601746e6a405ff67844fc62eaaa15d
Name Target Message Date
HEAD f69d0e0 Quickly lists all non cuspidal places up to diamond operators on X_1(N) 02 November 2020, 22:43:35 UTC
refs/heads/master f69d0e0 Quickly lists all non cuspidal places up to diamond operators on X_1(N) 02 November 2020, 22:43:35 UTC
refs/heads/patch-1 a982724 Update README.md 07 September 2016, 15:02:17 UTC
back to top