Theorem LawfulSingleton.insert_empty_eq'

Modification history

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 →