Algebra of partial and copartialLast updated Apr 23, 2024Tags: partial function, partial leaf functions.