Open tscholl2 opened 9 years ago
use \cong for canonical isomorphisms everywhere and \approx for non-canonical ones
use \cong for canonical isomorphisms everywhere and \approx for non-canonical ones