Theorem minpoly_sub_algebraMap_splits

Modification history