search

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
33 stars 2 forks source link

Move basic definitions and lemmas about Z to mczify #15

Closed pi8027 closed 3 years ago

pi8027 commented 3 years ago

See math-comp/mczify#26.