Theorem continuous_generateFrom

Modification history