Theorem WithTop.map_toDual

Modification history