Skip to content

chore: remove trivial from get_elem_tactic #6114

chore: remove trivial from get_elem_tactic

chore: remove trivial from get_elem_tactic #6114

check-lean-files

succeeded Nov 7, 2024 in 23s