basic): Kaminski's equation (#14159)

Commit

3 years ago

feat(data/bool/basic): Kaminski's equation (#14159) `bool.apply_apply_apply : ∀ (f : bool → bool) (x : bool), f (f (f x)) = f x`

Author

slerpyyy

Parents