←Prev ↑Up Next→

Mathlib Manual

1.

1. Tactics

1.1.	Interactive
1.2.	Automation
1.3.	Algebra
1.4.	Analysis
1.5.	Coercions
1.6.	Category Theory
1.7.	Logic
1.8.	Induction / case distinction
1.9.	Basic tactics / assumptions
1.10.	Definitional equality
1.11.	Conv mode
1.12.	Control flow
1.13.	For Tests
1.14.	Miscellaneous
1.15.	All tactics

1.6. Category Theory

Source Code
Report Issues

1.6. Category Theory

These tactics are explicitely written for category theory.

TODO