Mall:PlanetMath attribution