Theorem TensorProduct.f_apply

Modification history

2023-12-15 19:04
test/instance_diamonds.lean
feat: port test/instance_diamonds.lean (#9037) …
Added TensorProduct.f_applyView on Github →