lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Minor typo

Open pkshashank opened this issue 2 years ago • 0 comments
trafficstars

The target of ?m3 should be f a = a.

pkshashank avatar Oct 16 '23 20:10 pkshashank