eq-4.2: Leibnizian equality

Signatures

Modules

• Data
  Submodules

  • Eq
    Submodules

    •  Data.Eq.Type
      Submodules

      • Data.Eq.Type.Hetero