metamath's picture
End of training
bb03309 verified
image_1.png