Results (1)

  • Extensional crisis and proving identity
    Conference paper