quod erat demonstrandum (HOL)
quod erat demonstrandum (lat.: što je trebalo dokazati), lat. verzija Euklidovih riječi ...
HE HOL

upit: quod erat demonstrandum; pronađenih odgovora: 1; vrijeme izvršavanja upita: 179 ms