Talk:Properties of Relation Compatible with Group Operation/CRG2

From ProofWiki
Jump to navigation Jump to search


Actually, I want the numbers (somehow, somewhere) in the final page, so that a theorem referring to this one can specify which exact result it uses. I don't think it's worth the nightmare of splitting each into a separate page, however. --Dfeuer (talk) 09:10, 9 January 2013 (UTC)

Amended; firmly agreed on that last point. --Lord_Farin (talk) 09:12, 9 January 2013 (UTC)