minimum of independent exponentials

1 triples
GPTKB property