Theorem Algebra.FiniteType.of_restrictScalars_finiteType

Modification history