Commit 2024-09-13 00:04 d0afdfd7

View on Github →

chore: fix docstring of HeytingAlgebra.himp_bot (#16587) fix docstring of HeytingAlgebra.himp_bot

Estimated changes