Fórum Root.cz

Hlavní témata => Vývoj => Téma založeno: Coati 19. 03. 2022, 11:55:34

Název: Porovnání funkcí
Přispěvatel: Coati 19. 03. 2022, 11:55:34
Čau lidi ;D
když umím v jazyce s rovnostními typy ukázat, že pro každé x platí pro dvě funkce f a g, že f(x)=g(x), jde z toho nějak odvodit “refl” pro f=g?