OAI/NumberTheory/Ostmann/QuadraticCenter/DivisorGramFactors.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Ostmann.QuadraticCenter.div_sqrt_pair_mul_self line 8
2. theorem OAI.Ostmann.QuadraticCenter.prime_subset_gram_factorization line 14