Commit 2023-09-05 09:13 9a51c25f
View on Github →chore: separate NeZero dependency from Nat/Cast/Defs (#6955) I'm trying to remove any extraneous material from the core definitions in the algebraic hierarchy that are used in tactics.
chore: separate NeZero dependency from Nat/Cast/Defs (#6955) I'm trying to remove any extraneous material from the core definitions in the algebraic hierarchy that are used in tactics.