Def Foo2.foo2

Modification history

2023-02-28 21:37
test/Simps.lean
feat: simps uses fields of parent structures (#2042) …
Added Foo2.foo2View on Github →