Failed attempt to replace ℤ with an extra type parameter.#6

eric-wieser wants to merge 1 commit intopygae:masterpygae/lean-ga:masterfrom

eric-wieser:failed-inferenceeric-wieser/lean-ga:failed-inferenceCopy head branch name to clipboard