laplace(1,t,s);

f(s,t):=%e^(-s*t);

F(s):=integrate(f(s,t),t)$ F(s);

assume(s>0)$a:limit(F(s),t,0);b:limit(F(s),t,inf);b-a;

integrate(f(s,t),t,0,inf);

L(u):=laplace(u,t,s);

L(1); L(t);

is(equal(L(1),s*L(t)));