Theorem CoalgCat.forget₂_map

Modification history