Loading Natural number is not path-equivalent to unit type

Beta

Loading Natural number is not path-equivalent to unit type

Beta

Natural number is not path-equivalent to unit type

Loading description...

Theorem Proving
Functional Programming
Your output will be shown here