User:Ssantema

For now account is only meant to correct small mistakes I find and hopefully one day to write some proofs myself.