Theorem Representation.TensorProduct.toLinearMap_lid

Modification history

2026-03-06 22:04

Mathlib/RepresentationTheory/Intertwining.lean

chore(RepresentatioTheory/IntertwiningMap): Add APIs for Equiv and TensorProduct (#36273)

Added Representation.TensorProduct.toLinearMap_lid View on Github →