Comment Comment by Western0 No, this is not a proof because not using Mizar ;-) https://mizar.uwb.edu.pl/ parent Western0 9 months ago
