lean-ga icon indicating copy to clipboard operation
lean-ga copied to clipboard

Published 20 hours ago • verified publisher icon pygae

Failed attempt to replace ℤ with an extra type parameter.

Open eric-wieser opened this issue 4 years ago • 0 comments

For now, we probably want to build on top of this limited to ℕ anyway.

This does not build any more...

eric-wieser avatar Jul 03 '20 08:07 eric-wieser