Theorem le_induced_generateFrom

Modification history