Two situations that typically will result in the work being moved to the > main part of set.mm > <http://www.google.com/url?q=http%3A%2F%2Fset.mm&sa=D&sntz=1&usg=AFQjCNGyXl3zrxstB4U2tIe0Dll1hr7fxA> > > are (1) more than one person wants to use or develop the work and >
And concerning your "survival of the fittest" ideology, you have never respected your own rules: Carneiro's work has not been imported that way, proofs related to Tarskian geometry have not been imported that way, and the proofs related to the mm100 have not been imported that way. 90 % of the main part have not been imported that way. -- 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/783b1b63-8a5a-43e2-a2cd-185fbecf1ed4%40googlegroups.com.
