Porovnání funkcí

Porovnání funkcí
« kdy: 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?