Commit 2020-07-08 07:12 eb271b26
View on Github →feat(data/int/basic): some lemmas (#3313)
A few small lemmas about to_nat
that I wanted while playing with exact sequences.
feat(data/int/basic): some lemmas (#3313)
A few small lemmas about to_nat
that I wanted while playing with exact sequences.