nrl:InverseFunctionalProperty

nrl:InverseFunctionalProperty