Commit 2025-05-16 00:21 7e5e1e6a

View on Github →

style: rename t2Quotient to T2Quotient (#24911) t2Quotient X is a type so should be capitalized.

Estimated changes

added theorem T2Quotient.compatible
added def T2Quotient.lift
added theorem T2Quotient.lift_mk
added def T2Quotient.mk
added theorem T2Quotient.mk_eq
added theorem T2Quotient.unique_lift
added def T2Quotient
deleted theorem t2Quotient.compatible
deleted theorem t2Quotient.continuous_mk
deleted def t2Quotient.lift
deleted theorem t2Quotient.lift_mk
deleted def t2Quotient.mk
deleted theorem t2Quotient.mk_eq
deleted theorem t2Quotient.surjective_mk
deleted theorem t2Quotient.unique_lift
deleted def t2Quotient