Theorem ModularGroup.exists_row_one_eq_and_min_re

Modification history