Theorem Mathlib.Tactic.Coherence.assoc_LiftHom

Modification history