File:Metamath-theorem-avril1-indexed.png

☆ Save On Wikipedia ↗