Commit 2023-09-14 13:42 eb83f03f

chore(RingTheory/TensorProduct): cleanup type names (#7145) This fix has picked up a mixture of naming conventions for type names. In particular, this replaces:

• A, B, B', C, D, D' with A, B, C, D, E, F
• R, A, A' with R, S, A
• k, R with R, A This also gives the universes explicit names because this is marginally nicer to read than u_<random number>.