Theorem Hollom.apply_eq_of_line_eq_aux

Modification history