Theorem ZMod.ringEquivCongr_val

Modification history

2024-02-28 16:59

Mathlib/Data/ZMod/Basic.lean

feat(Data/ZMod/Basic): add some ringEquivCongr API (#11018) …

Added ZMod.ringEquivCongr_val View on Github →