Skip to content

Alternative fix for lean mathlib.#254

Draft
mjp41 wants to merge 1 commit into
daanx:masterfrom
mjp41:lean-mathlib
Draft

Alternative fix for lean mathlib.#254
mjp41 wants to merge 1 commit into
daanx:masterfrom
mjp41:lean-mathlib