[Merged by Bors] - chore(Charpoly/Disc): use nontriviality to drop a Nontrivial assumption
#35117
Loading
nontriviality to drop a Nontrivial assumption
#35117