Skip to content

Clarify finiteness assumptions, add function to check.#105

Open
tpapp wants to merge 1 commit intomasterfrom tp/finiteness-assumption

Commits

Commits on May 23, 2023