Definition talk:Univalent Relation

From ProofWiki
Jump to navigation Jump to search

Have we got a source work for this? --prime mover (talk) 21:27, 7 March 2013 (UTC)

Yes. But it is a massive pain in the ass hooking up a source for one definition and a proof that uses it (that I'm going to do). --Jshflynn (talk) 21:37, 7 March 2013 (UTC)
That's cool, that's all that's needed at this stage - the details can be filled in later. --prime mover (talk) 22:19, 7 March 2013 (UTC)