Metamath
1297
Zoom value: 1.0