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
72 of 128shingtaklam1324
-
Language
- Coq
- Lean
-
Language Version
