web-dev-qa-db-ja.com

equational-reasoning

a = bを返す場合、a = bを返しますか?