Theorem OrderHom.order_hom_eq_id

Modification history