Theorem selfAdjoint.val_qsmul

Modification history

2024-04-05 21:50
Mathlib/Algebra/Star/SelfAdjoint.lean
chore(Field/InjSurj): Tidy (#11480) …
Added selfAdjoint.val_qsmulView on Github →