Theorem PerfectClosure.mk_zero_right

Modification history

2024-08-21 18:42
Mathlib/FieldTheory/PerfectClosure.lean
chore(Algebra/Prod): add `Prod.mk_one_one` (#15922) …
Added PerfectClosure.mk_zero_rightView on Github →