Theorem WithTop.some_eq_coe

Modification history