Skip to content
This repository was archived by the owner on Dec 6, 2024. It is now read-only.

pass through mathlib prop - #24

Open
jamesdabbs wants to merge 1 commit into
mainfrom
mathlib
Open

pass through mathlib prop#24
jamesdabbs wants to merge 1 commit into
mainfrom
mathlib

pass through mathlib prop

a425a2a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs