eddy
eddy copied to clipboard
[FEATURE]: mostrare assiomi importati
Nel processo di importazione, continuare a mostrare anche gli assiomi già disegnati e dare la possibilità di re-importarli.