Suppose Leonardo da Vinci was an Italian polymath of the High Renaissance who is widely considered one of the most diversely talented individuals ever to have lived. He is known for iconic works such as the Mona Lisa and The Last Supper, as well as his scientific and engineering inventions.
Can we infer that "Leonardo da Vinci was a mathematician."? Yes, no, or maybe?