Theorem ContinuousMap.idealOfEmpty_eq_bot

Modification history