mathlib documentation

algebra.pempty_instances

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]
Equations
@[protected, instance]
Equations