Theorem ContinuousMap.gen_empty_right

Modification history