Theorem PartialEquiv.prod_coe

Modification history