Theorem PadicAlgCl.isAlgebraic

Modification history