Skip to content

Fix some formalizations, provide few Lean rewrites. #308

Fix some formalizations, provide few Lean rewrites.

Fix some formalizations, provide few Lean rewrites. #308