ParentFull threadnsajko·What does "factor" even mean here?The unary base is only good for natural numbers (and isomorphic sets), right?View on HN