Theorem sq_eq_sq

Modification history