Theorem NonemptyInterval.toDualProd_injective

Modification history