Theorem Action.isContinuous_def

Modification history

2025-05-04 19:54

Mathlib/CategoryTheory/Action/Continuous.lean

feat(CategoryTheory/Action): functoriality for `ContAction` (#24562)

Added Action.isContinuous_def View on Github →