Main public logs

Combined display of all available logs of Mathepedia. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 16:39, 16 July 2026 InfernalAtom683 talk contribs created page Template:SubQED/doc (Created page with "{{Documentation subpage}} The '''SubQED template''' marks the end of a subordinate argument within a proof. It displays a solid square, <math>\blacksquare</math>. The template {{tl|QED}} redirects here. == Usage == Place the template at the end of a claim, case, implication, or other subordinate argument: <pre> Suppose that <math>x\in\ker f</math>. Then <math>f(x)=e</math>, and hence <math>x\in N</math>. {{SubQED}} </pre> It may also be invoked through its shorter...")