Theorem le_algebraicClosure'

Modification history