Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Claim Issue

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
01-claim-issue.yml
334 workflow runs
334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finite extension of a local field has the obvious topology #326 Claim Issue #334: Issue comment #374 (comment) created by matthewjasper
March 11, 2025 23:26 2s
March 11, 2025 23:26 2s
feat(R-project): Implements IsResidueAlgebra Claim Issue #333: Issue comment #346 (comment) created by kbuzzard
March 4, 2025 14:15 5s
March 4, 2025 14:15 5s
Unpin lean version from lakefile.toml Claim Issue #332: Issue comment #368 (comment) created by pitmonticone
March 4, 2025 13:11 2s
March 4, 2025 13:11 2s
Prove that a rank 4 module has finite rank Claim Issue #331: Issue comment #364 (comment) created by kbuzzard
March 4, 2025 12:51 1s
March 4, 2025 12:51 1s
Unpin lean version from lakefile.toml Claim Issue #330: Issue comment #368 (comment) created by kbuzzard
March 4, 2025 12:51 3s
March 4, 2025 12:51 3s
bump mathlib to v4.17.0 Claim Issue #329: Issue comment #367 (comment) created by kbuzzard
March 4, 2025 11:25 4s
March 4, 2025 11:25 4s
Finite extension of a local field has the obvious topology Claim Issue #328: Issue comment #326 (comment) created by matthewjasper
March 2, 2025 17:31 14s
March 2, 2025 17:31 14s
Drop LinearMap.det_mul Claim Issue #327: Issue comment #365 (comment) created by eric-wieser
March 1, 2025 23:02 3s
March 1, 2025 23:02 3s
K is discrete in the adeles of K (#257) Claim Issue #326: Issue comment #362 (comment) created by kbuzzard
March 1, 2025 18:44 2s
March 1, 2025 18:44 2s
fix: TotallyDefiniteQuaternionAlgebra.AutomorphicForm.add should not be an instance Claim Issue #325: Issue comment #360 (comment) created by kbuzzard
March 1, 2025 18:40 2s
March 1, 2025 18:40 2s
Preliminary proofs for GL2.localTameLevel Claim Issue #324: Issue comment #361 (comment) created by pechersky
February 28, 2025 13:13 4s
February 28, 2025 13:13 4s
Preliminary proofs for GL2.localTameLevel Claim Issue #323: Issue comment #361 (comment) created by pechersky
February 27, 2025 21:06 3s
February 27, 2025 21:06 3s
Prove some easy sorries in QuaternionAlgebra.NumberField Claim Issue #322: Issue comment #358 (comment) created by kbuzzard
February 27, 2025 11:05 3s
February 27, 2025 11:05 3s
If K is a number field then K is discrete in the adeles of K Claim Issue #321: Issue comment #257 (comment) created by matthewjasper
February 27, 2025 00:41 12s
February 27, 2025 00:41 12s
feat(R-project): Implements IsResidueAlgebra Claim Issue #320: Issue comment #346 (comment) created by kbuzzard
February 26, 2025 22:08 3s
February 26, 2025 22:08 3s
Simplify a few proofs Claim Issue #319: Issue comment #355 (comment) created by kbuzzard
February 26, 2025 16:01 3s
February 26, 2025 16:01 3s
Finish proof of Rat.AdeleRing.zero_discrete Claim Issue #318: Issue comment #356 (comment) created by kbuzzard
February 26, 2025 15:57 3s
February 26, 2025 15:57 3s
feat(R-project): Implements IsResidueAlgebra Claim Issue #317: Issue comment #346 (comment) created by javierlcontreras
February 26, 2025 10:12 3s
February 26, 2025 10:12 3s
\prod_p Z_p x (-1,1) is open in the adeles of the rationals Claim Issue #316: Issue comment #252 (comment) created by matthewjasper
February 25, 2025 21:35 20s
February 25, 2025 21:35 20s
Prove prodAdicCompletionComap_isModuleTopology Claim Issue #315: Issue comment #353 (comment) created by kbuzzard
February 25, 2025 11:29 2s
February 25, 2025 11:29 2s
Product of L_w has the K_v-module topology. Claim Issue #314: Issue comment #327 (comment) created by Ruben-VandeVelde
February 24, 2025 09:18 3s
February 24, 2025 09:18 3s
Issue #341: Refactor QuotientAddGroup.continuousAddEquiv Claim Issue #313: Issue comment #349 (comment) created by kbuzzard
February 22, 2025 14:51 3s
February 22, 2025 14:51 3s
feat(R-project): InverseLimit topology Claim Issue #312: Issue comment #347 (comment) created by kbuzzard
February 21, 2025 15:57 3s
February 21, 2025 15:57 3s
feat(R-project): InverseLimit topology Claim Issue #311: Issue comment #347 (comment) created by javierlcontreras
February 15, 2025 21:11 3s
February 15, 2025 21:11 3s
Refactor QuotientAddGroup.continuousAddEquiv Claim Issue #310: Issue comment #341 (comment) created by smmercuri
February 15, 2025 12:44 13s
February 15, 2025 12:44 13s