Skip to content

add: re-export multiplicative actions

453749b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

[ add ] left- and right- actions induced by a Magma homomorphism #2894

add: re-export multiplicative actions
453749b
Select commit
Loading
Failed to load commit list.