Theorem LawfulSingleton.insert_empty_eq'

Modification history

2026-04-29 13:03
MathlibTest/grind/pairwise_disjoint.lean
chore(*): triage adaptation notes (#38470) …
Deleted LawfulSingleton.insert_empty_eq'View on Github →
2025-11-18 10:56
MathlibTest/grind/pairwise_disjoint.lean
chore: bump toolchain to v4.26.0-rc1 (#31763)
Added LawfulSingleton.insert_empty_eq'View on Github →