Mathlib Changelog
v4
Changelog
About
Github
Theorem
FractionalIdeal.mem_coeSubmodule
Modification history
2025-09-01 12:03
Mathlib/RingTheory/FractionalIdeal/Basic.lean
chore(RingTheory): process porting notes, part 1 (#29112) …
Added
FractionalIdeal.mem_coeSubmodule
View on Github →