[ refactor ] Redefine Relation.Binary.Definitions.Adjoint
, plus knock-on Function.Consequences
#1201
Loading
Relation.Binary.Definitions.Adjoint
, plus knock-on Function.Consequences
#1201