lean-forward/class-group-and-mordell-equation not found