Template:Planetmath-defined