Theorem BoundedOrderHom.symm_dual_comp

Modification history