Hlavní navigace

Názor ke článku Unifikace, AC-unifikace, E-unifikace... od zboj - @1 Jde Vám o přejmenování proměnných?