Mathlib Changelog
v4
Changelog
About
Github
Theorem
List.tfae_cons_self
Modification history
2023-10-05 18:27
Mathlib/Data/List/TFAE.lean
chore: Use IsCoprime for ideals. (#7523) …
Added
List.tfae_cons_self
View on Github →