Theorem ContinuousMap.gen_inter

Modification history