Theorem Bundle.coe_snd_map_smul

Modification history