Theorem false_of_nontrivial_of_product_domain

Modification history