Theorem WithTop.top_pow

Modification history