P
Initializing...
tensor_of_lines with the explicit witnesses tensCLM (kerA A), tensCLM (kerB B) · Prove2Me