Theorems moved to the main part of set.mm : supadd , inisegn0 , ad4ant* and ad5ant*
Theorems moved to the main part of set.mm : supadd , inisegn0 , ad4ant* and ad5ant*

metamath/set.mm,metamath/set.mm,metamath/set.mm