dev: rename AutoDataTheoremAttribute to DerivedTheoremAttribute.