fix(clone): proof * [-tag] should not drop untagged axioms - #1098
Open
namasikanam wants to merge 1 commit into
Open
fix(clone): proof * [-tag] should not drop untagged axioms#1098namasikanam wants to merge 1 commit into
proof * [-tag] should not drop untagged axioms#1098namasikanam wants to merge 1 commit into
