Theorem Relation.cutExpand_singleton_singleton

Modification history

2023-04-03 11:48
Mathlib/Logic/Hydra.lean
feat: port Logic.Hydra (#2290)
Added Relation.cutExpand_singleton_singletonView on Github →