metamath's picture
Training completed!
48744d7