feat(data/sign): more lemmas (#15917) - SemanticDiff

Commit

3 years ago

feat(data/sign): more lemmas (#15917) Add various lemmas for manipulation of `sign_type` and the `sign` function.

Author

jsm28

jsm28

Parents

Loading