User contributions for Tconrad
From MaRDI portal
18 December 2024
- 14:5014:50, 18 December 2024 diff hist +95 MaRDI Open Interfaces (Q6534208) Added link to [mardi]: Service:6534208 current
- 14:5014:50, 18 December 2024 diff hist +11 N Service:6534208 Created page with "{{Service}}" current
13 December 2024
- 10:4910:49, 13 December 2024 diff hist +101 Module:TheoremFormalizedInList No edit summary current
- 10:4610:46, 13 December 2024 diff hist +100 Module:TheoremFormalizedInList No edit summary
- 10:4410:44, 13 December 2024 diff hist +82 Module:TheoremFormalizedInList No edit summary
- 10:4210:42, 13 December 2024 diff hist −224 Module:TheoremFormalizedInList No edit summary
- 10:3810:38, 13 December 2024 diff hist +391 Module:TheoremFormalizedInList No edit summary
- 10:2210:22, 13 December 2024 diff hist +3,197 N Module:TheoremFormalizedInList Created page with "-- Required module containing helper methods local helper = require('Module:HelperMethods') -- Required modules for SPARQL queries and HTML table generation local sparql = require('SPARQL') local mwHtml = require('mw.html') -- Main table to hold all functions local p = {} -- Function to convert JSON results into a comma-separated string function p.convertJsonToCommaSeparatedList(jsonResults) local resultsString = "" if jsonResults and jsonResults.results and jsonR..."
- 10:1710:17, 13 December 2024 diff hist +71 Template:Theorem No edit summary current
- 10:1210:12, 13 December 2024 diff hist +211 Template:Theorem No edit summary
9 December 2024
- 20:5520:55, 9 December 2024 diff hist +2 Module:PublicationContainsTheoremList No edit summary current
- 20:5520:55, 9 December 2024 diff hist +4 Template:Publication No edit summary current
- 20:5420:54, 9 December 2024 diff hist +2 Module:PublicationContainsTheoremList No edit summary
- 20:5320:53, 9 December 2024 diff hist 0 m Module:PublicationContainsTheoremList Tconrad moved page Module:PublicationContainsProofList to Module:PublicationContainsTheoremList without leaving a redirect: Misspelled title
- 20:4120:41, 9 December 2024 diff hist +433 A New Proof that Metric Spaces are Paracompact (Q5565613) Created claim: contains theorem (P1646): Metric spaces are paracompact (Q6534204) current
- 20:4020:40, 9 December 2024 diff hist −433 A New Proof that Metric Spaces are Paracompact (Q5565613) Removed claim: contains theorem (P1646): Metric spaces are paracompact (Q6534204) Tag: Manual revert
- 20:3720:37, 9 December 2024 diff hist +368 MaRDI sandbox item (Q3441669) Created claim: description (P1459): This is a long description! current
6 December 2024
- 10:0210:02, 6 December 2024 diff hist −380 Metric spaces are paracompact (Q6534204) Removed claim: Property:P1645: /Topology/EMetricSpace/Paracompact.lean current
- 10:0210:02, 6 December 2024 diff hist −247 Template:Theorem No edit summary
- 10:0010:00, 6 December 2024 diff hist +476 Metric spaces are paracompact (Q6534204) Changed claim: formalized in (P1648): mathlib (Q52541)
- 10:0010:00, 6 December 2024 diff hist +709 Metric spaces are paracompact (Q6534204) Created claim: formalized in (P1648): mathlib (Q52541)
- 09:5909:59, 6 December 2024 diff hist +236 mathlib (Q52541) Added [en] description: Jump to:navigation, searchThe Lean mathematical library, mathlib, is a community-driven effort to build a unified library of mathematics formalized in the Lean proof assistant. current
- 09:5709:57, 6 December 2024 diff hist −448 Metric spaces are paracompact (Q6534204) Removed claim: URL (P188): https://github.com/leanprover-community/mathlib4/blob/v4.14.0/Mathlib/Topology/EMetricSpace/Paracompact.lean Tag: Manual revert
- 09:5609:56, 6 December 2024 diff hist −450 Metric spaces are paracompact (Q6534204) Removed claim: Property:P1647: https://github.com/leanprover-community/mathlib4/blob/v4.14.0/Mathlib/Topology/EMetricSpace/Paracompact.lean (Property P1647 not found, cannot determine the data type to use.) Tags: Manual revert Reverted
- 09:5409:54, 6 December 2024 diff hist +348 N formalized in (P1648) Created a new Property: formalized in, Framework where a formalization can be found current
- 09:5109:51, 6 December 2024 diff hist +450 Metric spaces are paracompact (Q6534204) Created claim: Property:P1647: https://github.com/leanprover-community/mathlib4/blob/v4.14.0/Mathlib/Topology/EMetricSpace/Paracompact.lean Tag: Reverted
- 09:2009:20, 6 December 2024 diff hist +448 Metric spaces are paracompact (Q6534204) Created claim: URL (P188): https://github.com/leanprover-community/mathlib4/blob/v4.14.0/Mathlib/Topology/EMetricSpace/Paracompact.lean Tag: Reverted
- 09:0909:09, 6 December 2024 diff hist +2 contains theorem (P1646) Changed [en] description: contains a mathematical theorem current
- 09:0909:09, 6 December 2024 diff hist +2 contains theorem (P1646) Changed [en] label: contains theorem
- 02:1202:12, 6 December 2024 diff hist −1 Template:Theorem No edit summary
- 02:1202:12, 6 December 2024 diff hist −1 Template:Theorem No edit summary
- 02:1102:11, 6 December 2024 diff hist −257 Template:Theorem No edit summary
- 02:1002:10, 6 December 2024 diff hist +27 Template:Theorem No edit summary
- 02:0902:09, 6 December 2024 diff hist +6 Template:Theorem No edit summary
- 02:0802:08, 6 December 2024 diff hist +69 Template:Theorem No edit summary
- 02:0702:07, 6 December 2024 diff hist +170 Template:Theorem No edit summary
- 02:0402:04, 6 December 2024 diff hist +72 Metric spaces are paracompact (Q6534204) Changed claim: description (P1459): Every extended metric space (e-metric space) is paracompact. Specifically, for any open cover of an e-metric space, there exists a locally finite open refinement. This theorem guarantees that extended metric spaces satisfy a fundamental property in topology, making them suitable for applications requiring locally finite refinements of open covers.
- 02:0202:02, 6 December 2024 diff hist 0 Metric spaces are paracompact (Q6534204) Changed claim: instance of (P31): theorem (Q6480412)
- 02:0102:01, 6 December 2024 diff hist −11 Metric spaces are paracompact (Q6534204) Changed [en] label: Metric spaces are paracompact
- 01:5901:59, 6 December 2024 diff hist 0 Portal No edit summary current
- 01:5601:56, 6 December 2024 diff hist +1 Template:Theorem No edit summary
- 01:5501:55, 6 December 2024 diff hist +160 Template:Theorem No edit summary
- 01:5301:53, 6 December 2024 diff hist +619 Metric spaces are paracompact (Q6534204) Created claim: description (P1459): This proof formalizes the paracompactness property for extended metric spaces. It establishes that every open cover of an e-metric space has a locally finite refinement, providing key results and tools for working with advanced topological structures in formalized mathematics.
- 01:4201:42, 6 December 2024 diff hist −411 Paracompactness and product spaces (Q5790389) Removed claim: author (P16): Item:Q6482187 current
- 01:3401:34, 6 December 2024 diff hist +413 Paracompactness and product spaces (Q5790389) Created claim: author (P16): Arthur Harold Stone (Q6482187)
- 01:2401:24, 6 December 2024 diff hist +2 Portal No edit summary
- 00:5700:57, 6 December 2024 diff hist −1 Module:PublicationContainsTheoremList No edit summary
- 00:5500:55, 6 December 2024 diff hist +1 Module:PublicationContainsTheoremList No edit summary
- 00:5400:54, 6 December 2024 diff hist +199 Template:Publication No edit summary
- 00:5300:53, 6 December 2024 diff hist +3,141 N Module:PublicationContainsTheoremList Created page with "-- Required module containing helper methods local helper = require('Module:HelperMethods') -- Required modules for SPARQL queries and HTML table generation local sparql = require('SPARQL') local mwHtml = require('mw.html') -- Main table to hold all functions local p = {} -- Function to convert JSON results into a comma-separated string function p.convertJsonToCommaSeparatedList(jsonResults) local resultsString = "" if jsonResults and jsonResults.results and jsonR..."
