Theorem modelWithCorners_prod_toLocalEquiv

Modification history