mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

delta-derive handler

Open gebner opened this issue 3 years ago • 0 comments
trafficstars

https://leanprover-community.github.io/mathlib_docs/tactic/delta_instance.html#tactic.delta_instance_handler

gebner avatar Aug 24 '22 08:08 gebner