Theorem Trivialization.image_preimage_eq_prod_univ

Modification history