Skip to content

[Merged by Bors] - feat(Data/Nat/Prime): add 2 theorems #25815

[Merged by Bors] - feat(Data/Nat/Prime): add 2 theorems

[Merged by Bors] - feat(Data/Nat/Prime): add 2 theorems #25815

This job succeeded