[ rename ] decidability for Relation.Binary.Construct.{Intersection|Union}`
#2955
Loading
Relation.Binary.Construct.{Intersection|Union}`
#2955