Theorem lift'_nhds_interior

Modification history