Closed ttytm closed 1 year ago
Typo corrections.
edit: I probably had a faulty assumption about a relation to #409 and an if/iff inconsistency. Therefore slimmed down the changes on my side. Thanks a lot for all the recent improvements!
if
iff
Thanks for the reply. Yes, didn't touched the if/iff's on second thought.
Typo corrections.
edit: I probably had a faulty assumption about a relation to #409 and an
if
/iff
inconsistency. Therefore slimmed down the changes on my side. Thanks a lot for all the recent improvements!