Theorem multipliable_iff_nat_tprod_vanishing

Modification history