Theorem CondensedMod.hom_naturality_apply

Modification history

2024-08-30 08:52

Mathlib/Condensed/Module.lean

style: some formatting fixes (#16263) …

Modified CondensedMod.hom_naturality_apply View on Github →

2024-07-16 01:36

Mathlib/Condensed/Module.lean

feat:(Condensed): the functor from `TopCat` to `CondensedSet` is a faithful right adjoint. (#14455) …

Added CondensedMod.hom_naturality_apply View on Github →