At Benoit's request, renamed about 55 theorems in my sandbox to replace bj-if with ifp
At Benoit's request, renamed about 55 theorems in my sandbox to replace bj-if with ifp

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