Theorem adjoin_eq_top_of_conductor_eq_top

Modification history