Commit 2023-03-08 00:36 6c066e01

View on Github →

feat: simps support additional simp-attributes (#2398)

  • Also fix the configuration option Simps.Config.lemmasOnly and use it in the library
  • Also use @[simps!] in the test file
  • Also remove the temporary configuration in LocalHomeomorph
  • Zulip thread
  • Fixes #2350

Estimated changes

modified def Simps.Config.asFn
modified def ffoo3
modified def foo.rfl2
modified def foo2