Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-09 14:56 bb984447

View on Github →

refactor(group_theory/congruence): remove old_structure_cmd (#9622)

Estimated changes

modified theorem con.Inf_def
modified theorem con.Sup_def
deleted theorem con.coe_eq
modified theorem con.con_gen_le
modified theorem con.rel_mk