P
Initializing...
fK_upd_eq (KFV §49: the Kronecker stage with its parameters (`kronS`)) · Prove2Me