lean-liquid icon indicating copy to clipboard operation
lean-liquid copied to clipboard
verified publisher icon leanprover-community

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

Open jcommelin opened this issue 4 years ago • 0 comments

Depends on #75 and #71

jcommelin avatar Nov 29 '21 12:11 jcommelin