Theorem prod.is_basis_inl_union_inr
Modification history
2018-11-05 10:47
linear_algebra/prod_module.lean
feat(linear_algebra,ring_theory): refactoring modules (#456) …
Deleted prod.is_basis_inl_union_inrView on Github →2018-09-20 19:46
linear_algebra/prod_module.lean
fix(algebra/pi_instances): bugfix
Added prod.is_basis_inl_union_inrView on Github →