det4f2

det4f2

Code for assisting the proof that the tensor rank of det_4 over F_2 is exactly 12