Theorem Hollom.apply_eq_of_line_eq

Modification history