def commutant : Prop

Temporary placeholder for the commutant (fill in later).

Equations

• commutant = True

theorem double_commutant : True

Temporary placeholder for the Double Commutant theorem (fill in later).