feat: add Sophie Germain theorem formalization #38035
+672
−0
Open
Loading