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

Commits

  1. Commits on Dec 6, 2023