Theorem ENat.top_mul

Modification history