Commit 2022-09-29 14:41 42604284
View on Github →refactor(*): inv_one_class, neg_zero_class instances replacing lemmas (#16699)
Replace inv_one lemmas for matrix, fractional_ideal, mv_power_series and power_series with inv_one_class instances, and a neg_zero lemma for pgame with a neg_zero_class instance.