Definition talk:Reflexive Reduction

From ProofWiki
Jump to navigation Jump to search

The intention of that refactor request was for the line starting with "From Set Difference..." to be split out into another definition. — Lord_Farin (talk) 18:26, 2 March 2013 (UTC)

By looking at Definition:Reflexive Closure it looks like a duality job, no? --Jshflynn (talk) 18:28, 2 March 2013 (UTC)
Such duality doesn't presently exist in a well-formulated manner, though I see what you mean. 't Could be accomplished more-or-less by a copy-paste job. But there are a lot of minor jobs coming along with restructuring a definition page. Perhaps better wait and restrain to one such project at a time. — Lord_Farin (talk) 18:41, 2 March 2013 (UTC)