Closed Seasawher closed 1 day ago
Zulip: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/why.20.60ac_rfl.60.20does.20work.20when.20given.20only.20associativity
https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.E2.9C.94.20why.20.60ac_rfl.60.20does.20work.20when.20given.20only.20associativity/near/447189352
コード例に落とし込めない
Zulip: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/why.20.60ac_rfl.60.20does.20work.20when.20given.20only.20associativity