Commit graph

1 commit

Author SHA1 Message Date
David Given
fac12aae32 Calculate phi congruency groups; use them to solve the
importing-hreg-from-the-future problem (probably poorly).
2016-10-09 22:04:20 +02:00