Theorem continuous_generateFrom_iff

Modification history