WLOG (Without Loss of Generality)
Tags
Agda
1
Category Theory
1
Formalization
1
Recursive Arithmetic
1