Mathlib Changelog
v4
Changelog
About
Github
Theorem
coinduced_sSup
Modification history
2024-10-19 21:32
Mathlib/Topology/Order.lean
feat: topology on module over topological ring (#16895) …
Added
coinduced_sSup
View on Github →