Skip to content

Some properties of upTo and downFrom#2316

Merged
MatthewDaggitt merged 3 commits intoagda:masterfrom Taneb:upTo-downFrom-propsMar 12, 2024

Commits

Commits on Mar 12, 2024