Theorem Configuration.ofField.eq_or_eq_of_orthogonal

Modification history