Add bcpasc to iset.mm
Add bcpasc to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
one although it needs changes in several places (change not equal to
apart, and change case elimination to fzdcel ).

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