Instances on PUnit #
This file collects facts about module structures on the one-element type
Equations
Equations
Equations
Equations
@[simp]
The one-element type acts trivially on every element.
This file collects facts about module structures on the one-element type
The one-element type acts trivially on every element.