Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-09-28 21:58
0abedaf8
View on Github →
feat(data/nat/parity): iterations of involutive functions (
#16630
)
Estimated changes
Modified
src/data/bool/basic.lean
added
theorem
bool.bnot_ne_id
Modified
src/data/nat/parity.lean
added
theorem
function.involutive.iterate_bit0
added
theorem
function.involutive.iterate_bit1
added
theorem
function.involutive.iterate_eq_id
added
theorem
function.involutive.iterate_eq_self
added
theorem
function.involutive.iterate_even
added
theorem
function.involutive.iterate_odd
Modified
src/logic/function/basic.lean
added
theorem
bool.involutive_bnot