<includeonly><table class="terminology-row{{#if:{{{more|}}}{{{language1|}}}{{{language2|}}}{{{language3|}}}{{{language4|}}}{{{language5|}}}{{{language6|}}}{{{language7|}}}{{{language8|}}}{{{language9|}}}{{{language10|}}}{{{language11|}}}{{{language12|}}}| mw-collapsible mw-collapsed|}}" data-highlight="{{{highlight|no}}}" data-has-more="{{#if:{{{more|}}}{{{language1|}}}{{{language2|}}}{{{language3|}}}{{{language4|}}}{{{language5|}}}{{{language6|}}}{{{language7|}}}{{{language8|}}}{{{language9|}}}{{{language10|}}}{{{language11|}}}{{{language12|}}}|yes|no}}" data-expandtext="{{{more-count|{{Terminology/count|{{{english|}}}|{{{french|}}}|{{{german|}}}|{{{japanese|}}}|{{{chinese|}}}|{{{language1|}}}|{{{language2|}}}|{{{language3|}}}|{{{language4|}}}|{{{language5|}}}|{{{language6|}}}|{{{language7|}}}|{{{language8|}}}|{{{language9|}}}|{{{language10|}}}|{{{language11|}}}|{{{language12|}}}}}}}} languages" data-collapsetext="{{{more-count|{{Terminology/count|{{{english|}}}|{{{french|}}}|{{{german|}}}|{{{japanese|}}}|{{{chinese|}}}|{{{language1|}}}|{{{language2|}}}|{{{language3|}}}|{{{language4|}}}|{{{language5|}}}|{{{language6|}}}|{{{language7|}}}|{{{language8|}}}|{{{language9|}}}|{{{language10|}}}|{{{language11|}}}|{{{language12|}}}}}}}} languages">
<tr class="terminology-main-row">
<td class="terminology-cell terminology-cell--english" dir="auto">{{{english|}}}</td>
<td class="terminology-cell terminology-cell--french" dir="auto">{{{french|}}}</td>
<td class="terminology-cell terminology-cell--german" dir="auto">{{{german|}}}</td>
<td class="terminology-cell terminology-cell--japanese" dir="auto">{{{japanese|}}}</td>
<td class="terminology-cell terminology-cell--chinese" dir="auto">{{{chinese|}}}</td>
<td class="terminology-cell terminology-cell--more"><span class="terminology-language-count">{{{more-count|{{Terminology/count|{{{english|}}}|{{{french|}}}|{{{german|}}}|{{{japanese|}}}|{{{chinese|}}}|{{{language1|}}}|{{{language2|}}}|{{{language3|}}}|{{{language4|}}}|{{{language5|}}}|{{{language6|}}}|{{{language7|}}}|{{{language8|}}}|{{{language9|}}}|{{{language10|}}}|{{{language11|}}}|{{{language12|}}}}}}}} languages</span></td>
</tr>
<tr class="terminology-more-row">
<td class="terminology-more-cell" colspan="6">
<div class="terminology-extra-table" role="table" aria-label="Other languages">
{{{more|}}}
{{#if:{{{language1|}}}{{{language2|}}}|{{Terminology/more row|language1={{{language1|}}}|term1={{{term1|}}}|language2={{{language2|}}}|term2={{{term2|}}}}}|}}
{{#if:{{{language3|}}}{{{language4|}}}|{{Terminology/more row|language1={{{language3|}}}|term1={{{term3|}}}|language2={{{language4|}}}|term2={{{term4|}}}}}|}}
{{#if:{{{language5|}}}{{{language6|}}}|{{Terminology/more row|language1={{{language5|}}}|term1={{{term5|}}}|language2={{{language6|}}}|term2={{{term6|}}}}}|}}
{{#if:{{{language7|}}}{{{language8|}}}|{{Terminology/more row|language1={{{language7|}}}|term1={{{term7|}}}|language2={{{language8|}}}|term2={{{term8|}}}}}|}}
{{#if:{{{language9|}}}{{{language10|}}}|{{Terminology/more row|language1={{{language9|}}}|term1={{{term9|}}}|language2={{{language10|}}}|term2={{{term10|}}}}}|}}
{{#if:{{{language11|}}}{{{language12|}}}|{{Terminology/more row|language1={{{language11|}}}|term1={{{term11|}}}|language2={{{language12|}}}|term2={{{term12|}}}}}|}}
</div>
</td>
</tr>
</table></includeonly><noinclude>
One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. Numbered <code>language1</code>/<code>term1</code> parameters are counted automatically. Legacy <code>more=</code> content remains supported together with its manual <code>more-count=</code> value.
</noinclude>

Template:Terminology/row

2026-07-16T14:38:26Z

InfernalAtom683: Undo revision 231 by InfernalAtom683 (talk)

<includeonly><table class="terminology-row{{#if:{{{language1|}}}{{{language2|}}}{{{language3|}}}{{{language4|}}}{{{language5|}}}{{{language6|}}}{{{language7|}}}{{{language8|}}}{{{language9|}}}{{{language10|}}}{{{language11|}}}{{{language12|}}}| mw-collapsible mw-collapsed|}}" data-highlight="{{{highlight|no}}}" data-has-more="{{#if:{{{language1|}}}{{{language2|}}}{{{language3|}}}{{{language4|}}}{{{language5|}}}{{{language6|}}}{{{language7|}}}{{{language8|}}}{{{language9|}}}{{{language10|}}}{{{language11|}}}{{{language12|}}}|yes|no}}" data-expandtext="{{Terminology/count|{{{english|}}}|{{{french|}}}|{{{german|}}}|{{{japanese|}}}|{{{chinese|}}}|{{{language1|}}}|{{{language2|}}}|{{{language3|}}}|{{{language4|}}}|{{{language5|}}}|{{{language6|}}}|{{{language7|}}}|{{{language8|}}}|{{{language9|}}}|{{{language10|}}}|{{{language11|}}}|{{{language12|}}}}} languages" data-collapsetext="{{Terminology/count|{{{english|}}}|{{{french|}}}|{{{german|}}}|{{{japanese|}}}|{{{chinese|}}}|{{{language1|}}}|{{{language2|}}}|{{{language3|}}}|{{{language4|}}}|{{{language5|}}}|{{{language6|}}}|{{{language7|}}}|{{{language8|}}}|{{{language9|}}}|{{{language10|}}}|{{{language11|}}}|{{{language12|}}}}} languages">
<tr class="terminology-main-row">
<td class="terminology-cell terminology-cell--english" dir="auto">{{{english|}}}</td>
<td class="terminology-cell terminology-cell--french" dir="auto">{{{french|}}}</td>
<td class="terminology-cell terminology-cell--german" dir="auto">{{{german|}}}</td>
<td class="terminology-cell terminology-cell--japanese" dir="auto">{{{japanese|}}}</td>
<td class="terminology-cell terminology-cell--chinese" dir="auto">{{{chinese|}}}</td>
<td class="terminology-cell terminology-cell--more"><span class="terminology-language-count">{{Terminology/count|{{{english|}}}|{{{french|}}}|{{{german|}}}|{{{japanese|}}}|{{{chinese|}}}|{{{language1|}}}|{{{language2|}}}|{{{language3|}}}|{{{language4|}}}|{{{language5|}}}|{{{language6|}}}|{{{language7|}}}|{{{language8|}}}|{{{language9|}}}|{{{language10|}}}|{{{language11|}}}|{{{language12|}}}}} languages</span></td>
</tr>
<tr class="terminology-more-row">
<td class="terminology-more-cell" colspan="6">
<div class="terminology-extra-table" role="table" aria-label="Other languages">
{{#if:{{{language1|}}}{{{language2|}}}|{{Terminology/more row|language1={{{language1|}}}|term1={{{term1|}}}|language2={{{language2|}}}|term2={{{term2|}}}}}|}}
{{#if:{{{language3|}}}{{{language4|}}}|{{Terminology/more row|language1={{{language3|}}}|term1={{{term3|}}}|language2={{{language4|}}}|term2={{{term4|}}}}}|}}
{{#if:{{{language5|}}}{{{language6|}}}|{{Terminology/more row|language1={{{language5|}}}|term1={{{term5|}}}|language2={{{language6|}}}|term2={{{term6|}}}}}|}}
{{#if:{{{language7|}}}{{{language8|}}}|{{Terminology/more row|language1={{{language7|}}}|term1={{{term7|}}}|language2={{{language8|}}}|term2={{{term8|}}}}}|}}
{{#if:{{{language9|}}}{{{language10|}}}|{{Terminology/more row|language1={{{language9|}}}|term1={{{term9|}}}|language2={{{language10|}}}|term2={{{term10|}}}}}|}}
{{#if:{{{language11|}}}{{{language12|}}}|{{Terminology/more row|language1={{{language11|}}}|term1={{{term11|}}}|language2={{{language12|}}}|term2={{{term12|}}}}}|}}
</div>
</td>
</tr>
</table></includeonly><noinclude>
One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. Add other languages as <code>language1</code>/<code>term1</code> through <code>language12</code>/<code>term12</code>; the displayed language count is automatic.
</noinclude>

Template:Terminology/row

2026-07-16T14:37:22Z

InfernalAtom683:

Template:Terminology/styles.css

2026-07-16T14:29:47Z

InfernalAtom683:

/* Template:Terminology/styles.css */
.terminology {
margin: 0.45em 0 0.8em;
color: var(--color-base, #202122);
font-size: 0.875rem;
}

.terminology-intro {
margin: 0 0 0.7em;
line-height: 1.4;
}

.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 {
display: grid;
grid-template-columns: 19% 17% 19% 13% 17% 15%;
min-height: 42px;
font-weight: 700;
}

.terminology-header-cell {
display: flex;
align-items: center;
box-sizing: border-box;
min-width: 0;
padding: 0.5rem 0.75rem;
line-height: 1.3;
overflow-wrap: anywhere;
}

.terminology-header-cell--more {
justify-content: center;
border-left: 1px solid var(--border-color-subtle, #c8ccd1);
}

/* Each item is a real table so MediaWiki places its native toggle in the last cell. */
.terminology-row {
width: 100%;
margin: 0;
border: 0;
border-top: 1px solid var(--border-color-subtle, #c8ccd1);
border-spacing: 0;
border-collapse: collapse;
table-layout: fixed;
background: transparent;
}

.terminology-cell--english { width: 19%; }
.terminology-cell--french { width: 17%; }
.terminology-cell--german { width: 19%; }
.terminology-cell--japanese { width: 13%; }
.terminology-cell--chinese { width: 17%; }
.terminology-cell--more { width: 15%; }

.terminology-main-row {
height: 42px;
}

.terminology-cell {
box-sizing: border-box;
min-width: 0;
padding: 0.5rem 0.75rem;
vertical-align: middle;
line-height: 1.3;
overflow-wrap: anywhere;
}

.terminology-row[data-highlight="yes"] .terminology-main-row > .terminology-cell,
.terminology-row[data-highlight="yes"] .terminology-more-cell {
background: var(--background-color-progressive-subtle, #eaf3ff);
}

.terminology-cell--english {
font-weight: 700;
}

.terminology-cell--more {
padding: 0;
border-left: 1px solid var(--border-color-subtle, #c8ccd1);
}

.terminology-cell--more > .terminology-language-count {
display: flex;
align-items: center;
box-sizing: border-box;
width: 100%;
min-height: 42px;
padding: 0.5rem 0.65rem;
color: var(--color-progressive, #36c);
line-height: 1.3;
white-space: nowrap;
}

.terminology-row.mw-collapsible .terminology-language-count {
display: none;
}

.terminology-row[data-has-more="no"] .terminology-more-row {
display: none;
}

.terminology-cell--more > .mw-collapsible-toggle {
display: flex;
float: none;
align-items: center;
justify-content: space-between;
box-sizing: border-box;
width: 100%;
min-height: 42px;
margin: 0;
padding: 0.5rem 0.65rem;
border: 0;
border-radius: 0;
background: transparent;
color: var(--color-progressive, #36c);
font: inherit;
line-height: 1.3;
text-align: left;
white-space: nowrap;
}

.terminology-cell--more > .mw-collapsible-toggle:hover {
background: var(--background-color-interactive-subtle, #f8f9fa);
}

.terminology-cell--more > .mw-collapsible-toggle:focus {
outline: 2px solid var(--border-color-progressive--focus, #36c);
outline-offset: -2px;
}

.terminology-cell--more .mw-collapsible-text {
color: inherit;
text-decoration: none;
}

.terminology-cell--more > .mw-collapsible-toggle-default::before {
content: none;
}

.terminology-cell--more > .mw-collapsible-toggle-default::after {
content: "";
flex: 0 0 auto;
box-sizing: border-box;
width: 0.5rem;
height: 0.5rem;
margin-left: 0.55rem;
border-right: 2px solid currentcolor;
border-bottom: 2px solid currentcolor;
transform: rotate(45deg) translate(-1px, -1px);
}

.terminology-cell--more > .mw-collapsible-toggle-expanded::after {
transform: rotate(225deg) translate(-1px, -1px);
}

.terminology-more-cell {
padding: 0.5rem 0.75rem 0.65rem;
border-top: 0;
}

.terminology-extra-table {
overflow: hidden;
border: 1px solid var(--border-color-subtle, #c8ccd1);
border-radius: 3px;
}

.terminology-extra-row {
display: grid;
grid-template-columns: 18% 32% 18% 32%;
min-height: 36px;
}

.terminology-extra-row + .terminology-extra-row {
border-top: 1px solid var(--border-color-subtle, #c8ccd1);
}

.terminology-extra-cell {
display: flex;
align-items: center;
box-sizing: border-box;
min-width: 0;
padding: 0.38rem 0.7rem;
line-height: 1.3;
overflow-wrap: anywhere;
}

.terminology-extra-language {
font-weight: 700;
}

.terminology-extra-language--second {
border-left: 1px solid var(--border-color-subtle, #c8ccd1);
}

.terminology-footer {
display: flex;
align-items: center;
min-height: 44px;
box-sizing: border-box;
padding: 0.3rem 0.75rem;
border-top: 1px solid var(--border-color-subtle, #c8ccd1);
color: var(--color-progressive, #36c);
line-height: 1.3;
}

.terminology-footer-action {
display: flex;
align-items: center;
}

.terminology-footer-action p {
display: flex;
align-items: center;
margin: 0;
}

.terminology-footer-action a {
display: inline-flex;
align-items: center;
box-sizing: border-box;
min-height: 32px;
padding: 0 0.2rem;
color: var(--color-progressive, #36c);
text-decoration: none;
}

.terminology-footer-action a:hover {
text-decoration: underline;
}

.terminology-footer .external {
padding-right: 0;
background-image: none;
}

.terminology-add-icon {
position: relative;
display: inline-block;
flex: 0 0 16px;
width: 16px;
height: 16px;
margin-right: 0.5rem;
}

.terminology-add-icon::before,
.terminology-add-icon::after {
content: "";
position: absolute;
border-radius: 1px;
background: currentcolor;
}

.terminology-add-icon::before {
top: 7px;
left: 1px;
width: 14px;
height: 2px;
}

.terminology-add-icon::after {
top: 1px;
left: 7px;
width: 2px;
height: 14px;
}

.terminology-footer-divider {
display: block;
flex: 0 0 1px;
width: 1px;
height: 24px;
margin: 0 0.9rem;
background: var(--border-color-base, #a2a9b1);
}

@media (max-width: 600px) {
.terminology-footer {
align-items: flex-start;
flex-direction: column;
gap: 0.55rem;
}

.terminology-footer-divider {
display: none;
}
}

Template:Terminology/count

2026-07-16T14:29:27Z

InfernalAtom683: 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..."

<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 non-empty language parameters.
</noinclude>

2026-07-16T08:37:55Z

InfernalAtom683: 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; }"

Template:Counterexample

2026-07-16T08:36:29Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Example

2026-07-16T08:36:14Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Warning

2026-07-16T08:35:52Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Observation

2026-07-16T08:35:41Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Note

2026-07-16T08:35:27Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Remark

2026-07-16T08:35:15Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Criterion

2026-07-16T08:35:05Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Identity

2026-07-16T08:34:52Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Property

2026-07-16T08:34:21Z

InfernalAtom683:

{{Statement
| type=property
| title={{{title|Property}}}
| content={{{property|{{{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|}}}
}}

Template:Result

2026-07-16T08:34:08Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Fact

2026-07-16T08:33:51Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}

Template:Claim

2026-07-16T08:33:40Z

InfernalAtom683: 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|}}} }}"

{{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|}}}
}}