Mario Román

❯

❯

partial range

Jan 30, 20241 min read

partial-range

Tags: Range with total composition

Graph View

Backlinks

non-empty relations have functional range

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID