Theorem List.enumFrom_eq_zip_range'

Modification history