Theorem Tactic.Elementwise.hom_elementwise

Modification history