Open
Milestone started on Jul 26, 2023

comonum-1.0.0

I want to finish the stated theorems in Z and Q.