Theorem ENat.top_pow

Modification history