Theorem inv_atBot₀

Modification history