L?sningsforslag 7, oppg 85.1_亚博娱乐官网_亚博pt手机客户端登录

peterol
2024-03-05T18:17:02.185Z
type:structured-message
www.uio.no

Her f?lger vel E' |- f(a,c) = f(b,c) med én gang, ved Substitutivitet mht ligning f(a,x) = f(b,x) og substitusjon {x |-> c}.