Theorem MonoidHom.isOfFinOrder

Modification history