> I am happy that we got some of the work on transitive closure of relations into the main section.
If a hisitorical section is allowed, I advise you to keep all your proofs in this section. This is the only way to permit your readers to take benefit of your proofs to read Frege's orignal text. If a theorem about transitive closure deserves to be added to the main sections it may be duplicated. I also advise you to make a page of advertising for this work with all the bells and whistles that make you want to read more: photograph, formatting appealing title, introductory paragraph, well-chiosen links.. Something stilish and inspiring. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/98af7bc1-efd9-4e42-8cc7-565ea3ce6cc9o%40googlegroups.com.
