User contributions for Tconrad

Search for contributionsExpandCollapse

⧼contribs-top⧽

IP address or username:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

00:5000:50, 6 December 2024 diff hist +438 Metric spaces are paracompact (Q6534204) ‎Created claim: described at URL (P104): https://leanprover-community.github.io/mathlib4_docs/Mathlib/Topology/EMetricSpace/Paracompact.html
00:4800:48, 6 December 2024 diff hist +95 Metric spaces are paracompact (Q6534204) ‎Added link to [mardi]: Theorem:6534204
00:4700:47, 6 December 2024 diff hist +11 N Theorem:6534204 Created page with "{{Theorem}}" current
00:4700:47, 6 December 2024 diff hist +380 Metric spaces are paracompact (Q6534204) ‎Created claim: Property:P1645: /Topology/EMetricSpace/Paracompact.lean
00:4400:44, 6 December 2024 diff hist +433 A New Proof that Metric Spaces are Paracompact (Q5565613) ‎Created claim: contains theorem (P1646): Metric spaces are paracompact (Q6534204) Tag: Reverted
00:4400:44, 6 December 2024 diff hist +429 Metric spaces are paracompact (Q6534204) ‎Created claim: instance of (P31): mathematical proof (Q6481410)
00:4300:43, 6 December 2024 diff hist +433 Metric spaces are paracompact (Q6534204) ‎Created claim: MaRDI profile type (P1460): MaRDI theorem profile (Q6534201)
00:4300:43, 6 December 2024 diff hist +257 N Metric spaces are paracompact (Q6534204) ‎Created a new Item: Proof for: Metric spaces are paracompact
00:4100:41, 6 December 2024 diff hist +334 N contains theorem (P1646) ‎Created a new Property: contains proof, contains a mathematical proof
00:1900:19, 6 December 2024 diff hist +190 Template:Theorem No edit summary
00:1200:12, 6 December 2024 diff hist +29 Template:Theorem No edit summary
00:0900:09, 6 December 2024 diff hist −22 Template:Theorem No edit summary Tag: Manual revert
00:0800:08, 6 December 2024 diff hist +22 Template:Theorem No edit summary Tag: Reverted
00:0300:03, 6 December 2024 diff hist +192 Template:Theorem No edit summary

21:1621:16, 5 December 2024 diff hist +4 Portal No edit summary
21:1621:16, 5 December 2024 diff hist +60 Portal No edit summary
21:1521:15, 5 December 2024 diff hist +95 Poincaré–Hopf theorem (Q6480744) ‎Added link to [mardi]: Theorem:6480744 current
21:1421:14, 5 December 2024 diff hist +11 N Theorem:6480744 Created page with "{{Theorem}}" current
21:1221:12, 5 December 2024 diff hist +162 Template:Theorem No edit summary
21:1021:10, 5 December 2024 diff hist +155 Template:Theorem No edit summary
21:0621:06, 5 December 2024 diff hist +327 Template:Theorem No edit summary
21:0421:04, 5 December 2024 diff hist +235 Template:Theorem No edit summary
21:0121:01, 5 December 2024 diff hist +63 Portal No edit summary
20:5820:58, 5 December 2024 diff hist +429 Nyquist–Shannon sampling theorem (Q6534202) ‎Created claim: instance of (P31): theorem (Q6480412) current
20:5620:56, 5 December 2024 diff hist −2 Portal No edit summary
20:5320:53, 5 December 2024 diff hist +2 Portal No edit summary
20:5220:52, 5 December 2024 diff hist +429 Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203) ‎Created claim: instance of (P31): theorem (Q6480412)
20:4920:49, 5 December 2024 diff hist +68 Portal No edit summary
20:4420:44, 5 December 2024 diff hist +95 Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203) ‎Added link to [mardi]: Theorem:6534203
20:4420:44, 5 December 2024 diff hist +11 N Theorem:6534203 Created page with "{{Theorem}}" current
20:4320:43, 5 December 2024 diff hist +282 N Template:Theorem Created page with "{{DISPLAYTITLE:{{#invoke:Wd|label}}}} {{DISPLAYTITLE:{{#invoke:Wd|label}}}} {{#if: {{#invoke:Wd|label|raw|}} | {{Template:Badge|MaRDI QID|https://portal.mardi4nfdi.de/wiki/Item:{{#invoke:Wd|label|raw|}}|{{#invoke:Wd|label|raw|}}}} }} {{#invoke:wd|description}}"
20:3420:34, 5 December 2024 diff hist +429 Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203) ‎Created claim: described at URL (P104): https://leanprover-community.github.io/mathlib4_docs/Mathlib/Combinatorics/Pigeonhole.html
20:3220:32, 5 December 2024 diff hist +370 Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203) ‎Created claim: Property:P1645: Combinatorics/Pigeonhole.lean
20:2620:26, 5 December 2024 diff hist +433 Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203) ‎Created claim: MaRDI profile type (P1460): MaRDI theorem profile (Q6534201)
20:2620:26, 5 December 2024 diff hist +306 N Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings (Q6534203) ‎Created a new Item: Pigeonhole Principle for Cardinality Estimation in Linearly Ordered Commutative Semirings
20:2120:21, 5 December 2024 diff hist +433 Nyquist–Shannon sampling theorem (Q6534202) ‎Created claim: MaRDI profile type (P1460): MaRDI theorem profile (Q6534201)
20:1920:19, 5 December 2024 diff hist +345 Nyquist–Shannon sampling theorem (Q6534202) ‎Created claim: OpenAlex ID (P388): C288623
20:1920:19, 5 December 2024 diff hist +356 Nyquist–Shannon sampling theorem (Q6534202) ‎Created claim: MathWorld ID (P1192): SamplingTheorem
20:1820:18, 5 December 2024 diff hist +343 Nyquist–Shannon sampling theorem (Q6534202) ‎Created claim: Wikidata QID (P12): Q679800
20:1720:17, 5 December 2024 diff hist +389 N Nyquist–Shannon sampling theorem (Q6534202) ‎Created a new Item: Nyquist–Shannon sampling theorem, Theorem in signal processing describing discrete samples of a continuous signal
20:1520:15, 5 December 2024 diff hist +429 MaRDI theorem profile (Q6534201) ‎Created claim: instance of (P31): MaRDI-specific concept (Q5976452) current
20:1520:15, 5 December 2024 diff hist +429 MaRDI theorem profile (Q6534201) ‎Created claim: subclass of (P36): MaRDI profile type (Q5976451)
20:1520:15, 5 December 2024 diff hist +238 N MaRDI theorem profile (Q6534201) ‎Created a new Item: MaRDI theorem profile

11:2411:24, 28 November 2024 diff hist +361 MediaWiki Math Search Extension (Q6504640) ‎Created claim: local image (P1640): Logo math-search.jpg current
11:2311:23, 28 November 2024 diff hist +53 N File:Logo math-search.jpg Logo for the MaRDI math search service. current

12:0512:05, 27 November 2024 diff hist +95 MaRDI Packaging System (Q6503326) ‎Added link to [mardi]: Service:6503326 current
12:0512:05, 27 November 2024 diff hist +11 N MaRDI Packaging System Created page with "{{Service}}" current
12:0412:04, 27 November 2024 diff hist +364 MaRDI Help Desk (Q6520334) ‎Created claim: local image (P1640): Logo helpdesk-mardi.jpg current
12:0212:02, 27 November 2024 diff hist +41 N File:Logo helpdesk-mardi.jpg Logo for the MaRDI helpdesk
11:3211:32, 27 November 2024 diff hist +155 Module:ServicesList No edit summary current

User contributions for Tconrad

6 December 2024

5 December 2024

28 November 2024

27 November 2024