Jump to content

is empty relation, recursive composition Z14117
Implementation

From Wikifunctions