sym2): Induction on `sym2` (#10189)

Commit

4 years ago

feat(data/sym/sym2): Induction on `sym2` (#10189) A few basics about `sym2` that were blatantly missing.

Author

YaelDillies

Parents