Loading Function is Injective iff has Left Inverse? Prove it!
Beta
Loading Function is Injective iff has Left Inverse? Prove it!
Beta
Function is Injective iff has Left Inverse? Prove it!
-
Language
- Agda (Beta)
-
Language Version
