Commit 2020-07-28 02:35 005201a2

View on Github →

feat(linear_algebra/adic_completion): basic definitions about completions of modules (#3452)

Estimated changes

added theorem smodeq.add
added theorem smodeq.bot
added theorem smodeq.comap
added theorem smodeq.map
added theorem smodeq.mono
added theorem smodeq.refl
added theorem smodeq.smul
added theorem smodeq.symm
added theorem smodeq.top
added theorem smodeq.trans
added theorem smodeq.zero
added def smodeq