edit comments of a6e/a6ev and replace a6e with a6ev in proofs of ax12vALT/sbcom2
edit comments of a6e/a6ev and replace a6e with a6ev in proofs of ax12vALT/sbcom2

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