Theorem AlgebraCat.forget₂_map_associator_inv

Modification history