Commit 2020-07-05 10:40 0cd500ef
View on Github →doc(tactic/explode): expand doc string (#3271) Explanation copied from @digama0's Zulip message here. Also removed a redundant function and added some type ascriptions.
doc(tactic/explode): expand doc string (#3271) Explanation copied from @digama0's Zulip message here. Also removed a redundant function and added some type ascriptions.