Theorem boole_mul
Modification history
2022-11-08 05:22
src/algebra/ring/basic.lean
refactor(*): supremum of refactoring PRs #17384 #17398 #17406 #17407 #17408 (#17405) …
Modified boole_mulView on Github →2022-04-01 10:46
src/algebra/ring/basic.lean
chore(algebra/ring/basic): generalisation linter (#13094)
Modified boole_mulView on Github →