We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
The proof works with Agda-2.6.3 and stdlib-1.7.2
There was an error while loading. Please reload this page.