% sameInputByCompositeInjectivity(h, a, b) and the symmetric counterpart. % Output declarations: materialize/2 selects the relations written to this example's golden ...
composition-of-injective-functions-is-injective.pl More file actions More file actions ...
Vote to see community's results!
Some results have been hidden because they may be inaccessible to you
Show inaccessible results