LARA

This is an old revision of the document!

Playground

Therefore $ subst(sigma)( x ) = x$

$ sigma rm {}d{}e{}fined x$

$ sigma rm defined x$