Classical triangle inequalities and the Fermat–Napoleon configuration in Lean 4

Bald, Joshua

DOI: 10.5281/zenodo.23813098

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.