Instances on pempty #
This file collects facts about algebraic structures on the (universe-polymorphic) empty type, e.g. that it is a semigroup.
@[protected, instance]
algebra.pempty_instances
This file collects facts about algebraic structures on the (universe-polymorphic) empty type, e.g. that it is a semigroup.