Def Subalgebra.equivOfEq

Modification history

2023-11-07 19:35

Mathlib/Algebra/Algebra/Subalgebra/Basic.lean

chore: golf all coe_iSup_of_directed (#8232)

Modified Subalgebra.equivOfEq View on Github →

2023-03-10 13:47

Mathlib/Algebra/Algebra/Subalgebra/Basic.lean

feat: port Algebra.Algebra.Subalgebra.Basic (#2743)

Added Subalgebra.equivOfEq View on Github →