Theorem Hollom.apply_eq_of_line_eq_step

Modification history