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.