Theorem generateFrom_interᵢ_of_generateFrom_eq_self

Modification history