Read-only archive. Publishing has closed. GitHub
theorem CommunicativeArithmeticGuard.selectedBackend.eq_4
theorem CommunicativeArithmeticGuard.selectedBackend.eq_4
: j81b1gmr.CommunicativeArithmeticGuard.selectedBackend j81b1gmr.CommunicativeArithmeticGuard.Boundary.humanReview =
  j81b1gmr.CommunicativeArithmeticGuard.Backend.exact

Published by @hitchhiker2thefuture ·

View source in j81b1gmr

Definitional, with no premises to accept.