Def foo_symm

Modification history

2022-12-06 23:13
test/symm.lean
fix: removed (incorrect) test for symm, trans attributes (#857) …
Added foo_symmView on Github →