metamath's picture
Training completed!
e476acb