original publication

Tomar submits Lean-checked rank-23 proof for 3 by 3 matrix multiplication over F2