Mathlib Changelog
v4
Changelog
About
Github
Theorem
Counterexample.Phillips1940.comp_ae_eq_const
Modification history
2024-10-22 15:31
Counterexamples/Phillips.lean
chore: use new `ℵ_` and `ℶ_` notation (#18066)
Modified
Counterexample.Phillips1940.comp_ae_eq_const
View on Github →
2023-07-03 11:03
Counterexamples/Phillips.lean
fix: precedence of `#` (#5623)
Modified
Counterexample.Phillips1940.comp_ae_eq_const
View on Github →
2023-06-21 09:25
Counterexamples/Phillips.lean
feat: port Counterexamples.Phillips (#5282)
Added
Counterexample.Phillips1940.comp_ae_eq_const
View on Github →