Theorem Submonoid.inv_bot

Modification history