metamath's picture
Training completed!
e2f6b8b