Theorem IsAdjoinRootMonic.basis_apply

Modification history