Theorem MulHom.coe_ofDense

Modification history

2022-12-26 12:39

Mathlib/GroupTheory/Subsemigroup/Basic.lean

Feat: port GroupTheory.Subsemigroup.Basic (#1180) …

Added MulHom.coe_ofDense View on Github →