Commit 2024-10-21 09:29 336b7469
View on Github →feat(Topology/Inseparable): add alias Specializes.of_eq := specializes_of_eq (#17988)
To enable dot notation.
feat(Topology/Inseparable): add alias Specializes.of_eq := specializes_of_eq (#17988)
To enable dot notation.