Finitary vs Href - What's the difference?
finitary | href |
Href has no English definition.
Of a function, taking a finite number of arguments to produce an output.
(label) Pertaining to finite-length proofs, each using a finite set of axioms.
Href is likely misspelled.
Href has no English definition.
