The name of the <prefix>-<rulename>-conc-rep-matching
or <prefix>-<rulename>-conc<i>-rep-matching theorem
described in deftreeops.
This is nil if the theorem is not generated.
The name of the <prefix>-<rulename>-conc-rep
or <prefix>-<rulename>-conc<i>-rep function
described in deftreeops.
This is nil if the function is not generated.
The name of the <prefix>-<rulename>-conc-rep-elem
or <prefix>-<rulename>-conc<i>-rep-elem function
describes in deftreeops.
This is nil if the function is not generated.