unit = terminal object = () = in [[SET Category]], set with one element = in logic, proving "true" on deniz

unit = terminal object = () = in [[SET Category]], set with one element = in logic, proving "true" on denizhttps://denizaydemir.com/graph/functional-notes/6a4d4944-95c6-4fef-951b-f008eb4065ff/6a4d4944-594a-4ddb-bba1-e632fdc3b8e1/6a4d4944-09a3-4c06-aa99-092c52d0f774/6a4d4944-8157-431c-95a9-70488aeb430b/Recent content in unit = terminal object = () = in [[SET Category]], set with one element = in logic, proving "true" on denizHugoen-us