Theorem algebraicClosure.map_eq_of_algebraicClosure_eq_bot

Modification history