Search
❯
18 May 20261 min read
A partial function f:A⇀B is total whenever it is defined on all inputs.