Loading Prove that any Inverse of an Involutive Function is itself
8 kyu
Loading Prove that any Inverse of an Involutive Function is itself
8 kyu
Prove that any Inverse of an Involutive Function is itself
64 of 132shingtaklam1324
-
Language
- Coq
- Lean
-
Language Version
