We generally don't change "proof modification is discouraged" so you'll need to justify those changes (or drop them). I don't think we officially reject them for "OLD", but I wouldn't focus your time on them.
OLD theorems will be removed after one year, so shorten their proofs is useless. -- 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/5eb88d50-6565-402c-bce9-022deb92e731n%40googlegroups.com.
