P
Initializing...
Bapprox_eq (The permutation-free `B̃₀ = D̃' J̃' C̃`) · Prove2Me