Commit 2023-10-06 14:17 f1828376

View on Github →

refactor(TensorProduct): golf the definition of Neg (#7546)

Estimated changes

modified def TensorProduct.Neg.aux
deleted theorem TensorProduct.Neg.aux_of