Instances on PUnit #
This file collects facts about algebraic structures on the one-element type, e.g. that it is a commutative ring.
@[simp]
@[simp]
This file collects facts about algebraic structures on the one-element type, e.g. that it is a commutative ring.