Search results

Automatic upgrade has failed

Status: Open.

#87 In leanprover-community/lean-liquid;

· leanprover-community-bot opened on Mar 23, 2022

Short exact sequence for ℒ → ℳ

Status: Open.

#80 In leanprover-community/lean-liquid;

· jcommelin opened on Feb 16, 2022

Complete the challenge

Status: Open.

#78 In leanprover-community/lean-liquid;

· jcommelin opened on Nov 29, 2021

Deduce Extⁱ(Mbar, V) = 0 from Thm 9.4

Status: Open.

#77 In leanprover-community/lean-liquid;

· jcommelin opened on Nov 29, 2021

Tensor product of condensed modules

Status: Open.

#76 In leanprover-community/lean-liquid;

· jcommelin opened on Nov 29, 2021

Prove the BD-lemma for MacLane's Q'-construction

Status: Open.

#75 In leanprover-community/lean-liquid;

· jcommelin opened on Nov 29, 2021