Commit 2023-05-15 09:49 0de17db2

View on Github →

refactor: rename FirstOrder.Language.Theory.CompleteTheory.subset to FirstOrder.Language.Theory.completeTheory.subset (#3990)

Estimated changes