Football COLUMN: Five things we learned about the Michigan defensive line this spring