:: deftheorem defines 1GateCircuit FACIRC_1:def 11 :
for x, y, z being object
for f being Function of (3 -tuples_on BOOLEAN),BOOLEAN holds 1GateCircuit (x,y,z,f) = 1GateCircuit (<*x,y,z*>,f);