simp lemmas from companion def - SemanticDiff

Commit

3 years ago

simp lemmas from companion def

References

companion_matrix'

#15047 - feat(data/matrix/companion): Companion matrix

Author

pbazin

pbazin

Parents

Loading