Theorem ModuleCat.free_map_apply

Modification history