Commit 2022-07-11 14:26 dfcbe856
View on Github →refactor(data/finite): move definition to a new file (#15204)
The new file imports nothing but logic.equiv.basic
.
refactor(data/finite): move definition to a new file (#15204)
The new file imports nothing but logic.equiv.basic
.