Commit 2023-08-30 09:45 571a1284

View on Github →

chore(Algebra/Group/Basic): remove redundant declaration (#6871)

Estimated changes

modified theorem inv_inj