Commit 2024-02-05 14:11 208205e6

View on Github →

chore(WithTop): add @[simp] to coe_add (#10204)

Estimated changes

modified theorem WithTop.coe_add