Theorem IsAdjoinRoot.eval₂_repr_eq_eval₂_of_map_eq

Modification history