User contributions for InfernalAtom683

18:5618:56, 17 July 2026 diff hist +375 Template:Statement/styles.css No edit summary current
18:5618:56, 17 July 2026 diff hist +141 N Template:CompactNote Created page with "{{Statement | type=note | title={{{title|Note}}} | content={{{note|{{{1|}}}}}} | style={{{style|}}} | class=compact-note {{{class|}}} }}" current
02:2402:24, 17 July 2026 diff hist +392 N Mathepedia:Terminology submissions New terminology translation: Hausdorff space (Ελληνικά) current
02:1902:19, 17 July 2026 diff hist +5,260 N MediaWiki:Common.js Created page with "→Any JavaScript here will be loaded for all users on every page load.: ( function ( mw, $ ) { 'use strict'; var submissionPage = 'Project:Terminology submissions'; var otherValue = '__other__'; var languages = [ 'English', 'Français', 'Deutsch', '日本語', '中文', 'Español', 'Italiano', 'Português', 'Ελληνικά', 'Русский', '한국어', 'العربية', 'हिन्दी', 'Bahasa Indonesia', 'Nederlands',..." current
02:1802:18, 17 July 2026 diff hist +371 Template:Terminology/styles.css No edit summary current
02:1702:17, 17 July 2026 diff hist +20 Template:Terminology/row No edit summary current
02:1602:16, 17 July 2026 diff hist +131 Template:Terminology/empty No edit summary current

23:2623:26, 16 July 2026 diff hist −229 Hausdorff space No edit summary current
23:2523:25, 16 July 2026 diff hist +244 Hausdorff space No edit summary
22:5322:53, 16 July 2026 diff hist +811 N Template:Terminology/empty Created page with "<includeonly><div class="terminology-empty-state"> <div class="terminology-empty-message">No additional translations are available yet.</div> <div class="terminology-submit-title">Submit a translation in your language</div> <div class="terminology-submit-help">Enter the language and translated term below. Your submission will be opened for review.</div> <div class="terminology-submit-form"><inputbox> type=commenttitle page=Project:Terminology submissions width=36 break=n..."
22:5322:53, 16 July 2026 diff hist +876 Template:Terminology/styles.css No edit summary
22:5022:50, 16 July 2026 diff hist +229 Template:Terminology/row No edit summary
22:4322:43, 16 July 2026 diff hist −466 Template:Terminology/row No edit summary
22:4022:40, 16 July 2026 diff hist +12 Template:Terminology/row No edit summary
22:3822:38, 16 July 2026 diff hist +122 Template:Terminology/row No edit summary Tag: Manual revert
22:3822:38, 16 July 2026 diff hist −122 Template:Terminology/row Undo revision 231 by InfernalAtom683 (talk) Tags: Undo Reverted
22:3722:37, 16 July 2026 diff hist +122 Template:Terminology/row No edit summary Tag: Reverted
22:2922:29, 16 July 2026 diff hist +987 Template:Terminology/styles.css No edit summary
22:2922:29, 16 July 2026 diff hist +518 N Template:Terminology/count Created page with "<includeonly>{{#expr:{{#if:{{{1|}}}|1|0}}+{{#if:{{{2|}}}|1|0}}+{{#if:{{{3|}}}|1|0}}+{{#if:{{{4|}}}|1|0}}+{{#if:{{{5|}}}|1|0}}+{{#if:{{{6|}}}|1|0}}+{{#if:{{{7|}}}|1|0}}+{{#if:{{{8|}}}|1|0}}+{{#if:{{{9|}}}|1|0}}+{{#if:{{{10|}}}|1|0}}+{{#if:{{{11|}}}|1|0}}+{{#if:{{{12|}}}|1|0}}+{{#if:{{{13|}}}|1|0}}+{{#if:{{{14|}}}|1|0}}+{{#if:{{{15|}}}|1|0}}+{{#if:{{{16|}}}|1|0}}+{{#if:{{{17|}}}|1|0}}}}</includeonly><noinclude> Internal helper used by Template:Terminology/row to count..." current
22:2922:29, 16 July 2026 diff hist +2,393 Template:Terminology/row No edit summary
22:2822:28, 16 July 2026 diff hist −3 Template:Terminology No edit summary current
21:5221:52, 16 July 2026 diff hist +6 Template:Terminology/styles.css No edit summary
21:5121:51, 16 July 2026 diff hist −258 Template:Terminology/row No edit summary
21:4921:49, 16 July 2026 diff hist +152 Template:Terminology/styles.css No edit summary
21:4921:49, 16 July 2026 diff hist +95 Template:Terminology/row No edit summary
21:4821:48, 16 July 2026 diff hist +100 Template:Terminology No edit summary
21:3521:35, 16 July 2026 diff hist +592 N Template:Terminology/more row Created page with "<includeonly><div class="terminology-extra-row" role="row"> <div class="terminology-extra-cell terminology-extra-language" role="cell" dir="auto">{{{language1|}}}</div> <div class="terminology-extra-cell" role="cell" dir="auto">{{{term1|}}}</div> <div class="terminology-extra-cell terminology-extra-language terminology-extra-language--second" role="cell" dir="auto">{{{language2|}}}</div> <div class="terminology-extra-cell" role="cell" dir="auto">{{{term2|}}}</div> </div>..." current
21:3421:34, 16 July 2026 diff hist +1,299 N Template:Terminology/row Created page with "<includeonly><div class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight|no}}}" data-expandtext="{{{more-label|{{{more-count|0}}} languages}}}" data-collapsetext="{{{more-label|{{{more-count|0}}} languages}}}"> <div class="terminology-main-row" role="row"> <div class="terminology-cell terminology-cell--english" role="cell" dir="auto">{{{english|}}}</div> <div class="terminology-cell" role="cell" dir="auto">{{{french|}}}</div> <div class="termino..."
21:3421:34, 16 July 2026 diff hist +1,684 N Template:Terminology Created page with "<includeonly><templatestyles src="Terminology/styles.css" /> == {{{heading|Terminology}}} == <div class="terminology" role="region" aria-label="{{{heading|Terminology}}}"> <div class="terminology-intro">{{{intro|The following table lists the principal terms used in this article.}}}</div> <div class="terminology-table"> <div class="terminology-table-inner" role="table" aria-label="{{{heading|Terminology}}}"> <div class="terminology-header" role="row"> <div class="terminol..."
21:3321:33, 16 July 2026 diff hist +4,857 N Template:Terminology/styles.css Created page with "→Template:Terminology/styles.css: .terminology { margin: 0.65em 0 1em; color: var(--color-base, #202122); font-size: 1rem; } .terminology-intro { margin: 0 0 1em; line-height: 1.5; } .terminology-table { overflow-x: auto; border: 1px solid var(--border-color-subtle, #c8ccd1); border-radius: 3px; background: var(--background-color-base, #fff); } .terminology-table-inner { min-width: 760px; } .terminology-header, .terminology-main-row { display: grid; g..."
18:1318:13, 16 July 2026 diff hist +16 Template:Statement/styles.css No edit summary
18:1318:13, 16 July 2026 diff hist +88 Template:Box/styles.css No edit summary current
16:4016:40, 16 July 2026 diff hist +1 Template:SubQED/styles.css No edit summary current
16:3916:39, 16 July 2026 diff hist +868 N 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..." current
16:3916:39, 16 July 2026 diff hist +164 N Template:ProofQED Created page with "<templatestyles src="SubQED/styles.css" /><span class="proofqed" title="End of proof" aria-label="End of proof">□</span><noinclude> {{Documentation}} </noinclude>" current
16:3816:38, 16 July 2026 diff hist +29 N Template:QED Redirected page to Template:SubQED current Tag: New redirect
16:3816:38, 16 July 2026 diff hist +168 N Template:SubQED Created page with "<templatestyles src="SubQED/styles.css" /><span class="subqed" title="End of subproof" aria-label="End of subproof">■</span><noinclude> {{Documentation}} </noinclude>" current
16:3716:37, 16 July 2026 diff hist +256 N Template:SubQED/styles.css Created page with ".subqed, .proofqed { display: inline-block; float: right; margin-left: 0.6em; font-family: serif; font-style: normal; font-weight: normal; line-height: inherit; white-space: nowrap; } .subqed { font-size: 0.85em; } .proofqed { font-size: 1em; }"
16:3616:36, 16 July 2026 diff hist +379 N Template:Counterexample Created page with "{{Statement | type=counterexample | title={{{title|Counterexample}}} | content={{{counterexample|{{{1|}}}}}} | details={{{explanation|{{{2|}}}}}} | details-title={{{explanation-title|Explanation}}} | open={{{explanation-open|no}}} | expand-text={{{explanation-expand-text|}}} | collapse-text={{{explanation-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3616:36, 16 July 2026 diff hist +358 N Template:Example Created page with "{{Statement | type=example | title={{{title|Example}}} | content={{{example|{{{1|}}}}}} | details={{{explanation|{{{2|}}}}}} | details-title={{{explanation-title|Explanation}}} | open={{{explanation-open|no}}} | expand-text={{{explanation-expand-text|}}} | collapse-text={{{explanation-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3516:35, 16 July 2026 diff hist +334 N Template:Warning Created page with "{{Statement | type=warning | title={{{title|Warning}}} | content={{{warning|{{{1|}}}}}} | details={{{details|{{{2|}}}}}} | details-title={{{details-title|Details}}} | open={{{details-open|no}}} | expand-text={{{details-expand-text|}}} | collapse-text={{{details-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3516:35, 16 July 2026 diff hist +346 N Template:Observation Created page with "{{Statement | type=observation | title={{{title|Observation}}} | content={{{observation|{{{1|}}}}}} | details={{{details|{{{2|}}}}}} | details-title={{{details-title|Details}}} | open={{{details-open|no}}} | expand-text={{{details-expand-text|}}} | collapse-text={{{details-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3516:35, 16 July 2026 diff hist +325 N Template:Note Created page with "{{Statement | type=note | title={{{title|Note}}} | content={{{note|{{{1|}}}}}} | details={{{details|{{{2|}}}}}} | details-title={{{details-title|Details}}} | open={{{details-open|no}}} | expand-text={{{details-expand-text|}}} | collapse-text={{{details-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3516:35, 16 July 2026 diff hist +331 N Template:Remark Created page with "{{Statement | type=remark | title={{{title|Remark}}} | content={{{remark|{{{1|}}}}}} | details={{{details|{{{2|}}}}}} | details-title={{{details-title|Details}}} | open={{{details-open|no}}} | expand-text={{{details-expand-text|}}} | collapse-text={{{details-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3516:35, 16 July 2026 diff hist +328 N Template:Criterion Created page with "{{Statement | type=criterion | title={{{title|Criterion}}} | content={{{criterion|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3416:34, 16 July 2026 diff hist +325 N Template:Identity Created page with "{{Statement | type=identity | title={{{title|Identity}}} | content={{{identity|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3416:34, 16 July 2026 diff hist −109 Template:Property No edit summary current
16:3416:34, 16 July 2026 diff hist +319 N Template:Result Created page with "{{Statement | type=result | title={{{title|Result}}} | content={{{result|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3316:33, 16 July 2026 diff hist +313 N Template:Fact Created page with "{{Statement | type=fact | title={{{title|Fact}}} | content={{{fact|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current
16:3316:33, 16 July 2026 diff hist +316 N Template:Claim Created page with "{{Statement | type=claim | title={{{title|Claim}}} | content={{{claim|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}" current

17 July 2026

16 July 2026