Skip to content

feat: rename get_elem_tactic_trivial to get_elem_tactic_extensible #10008

feat: rename get_elem_tactic_trivial to get_elem_tactic_extensible

feat: rename get_elem_tactic_trivial to get_elem_tactic_extensible #10008